Zoltán Kocsis
Information Technology Team Lead
Szentendre, Hungary
Summary
🤩
Rockstar🎓
Top SchoolZoltán Kocsis is an experienced IT leader and project manager with 25 years in telecommunications and 11 years in senior delivery roles, currently serving as Information Technology Team Lead at MBH Bank and founder of consultancy Credentials Kft. He specializes in Operational Support Systems (OSS), having led a 12-person team that delivered 50+ projects per year supporting 4,000+ users across workforce management, fault management, provisioning and inventory systems. Comfortable in both traditional and agile environments, he has held roles from solution designer and release manager to delivery and project manager, consistently driving on-time, high-quality deliveries. With a background in electrical and communications engineering and hands-on experience in server consolidation and platform change, he combines systems-level thinking with practical delivery governance. An advocate of software safety and static typing, his side interest in mathematical logic and work on seL4 hints at a deeper focus on correctness and reliable system design. Based in Szentendre, Hungary, he brings entrepreneurial grit and telecom-scale operational experience to complex enterprise IT transformations.
11 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Electrical, Electronics and Communications Engineering, Bachelor's degree, Electrical, Electronics and Communications Engineering at Kandó Kálmán Polytechnic
English, Hungarian
Github Skills (59)
tla10
specification10
trust10
model-checking9
tlaplus9
proofs9
agda9
lambda-calculus9
microkernel9
proof9
verification9
sat9
isabelle9
sat-solver9
sel49
Programming languages (8)
Github contributions (5)
zaklogician/equational_theories
Oct 2024 - Oct 2024
Contributions:62 pushes, 17 branches in 16 days
zaklogician/zaklogician.github.io
Apr 2021 - Feb 2025
Contributions:44 pushes, 1 branch in 3 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.