Gyula Sallai
Software Engineer at Maze
Geneva, Geneva, Switzerland
Summary
👤
Senior🎓
Top SchoolGyula Sallai is a software engineer with 15 years of experience, currently building AI-driven agents to triage and mitigate cloud issues at Maze. He brings deep expertise in static analysis, symbolic execution and taint analysis from a five-year tenure as Staff Software Engineer at SonarSource, where he led projects across Java, Python, Rust and legacy JCL parsing. His background includes formal verification and PLC simulation work at CERN, and a history of teaching core CS topics, which gives him a strong foundation in languages, automata and verification techniques. Comfortable across systems from low-level code generation to security-focused analyzers, he blends research-minded rigor with practical engineering and hiring/mentoring experience. Based in Geneva, he pairs academic training (MSc in Computer Engineering) with a knack for turning formal methods into production-ready tools.
15 years of coding experience
6 years of employment as a software developer
Master of Science - MS Computer Engineering, Master of Science - MS Computer Engineering at Budapest University of Technology and Economics
English, Hungarian, French
Stackoverflow
1,574reputation
124kreached
16answers
3questions
Github Skills (60)
spec10
symfony-bundle10
logger10
bundle10
php-framework10
php10
specification10
symfony10
logging10
rule10
plugin9
sonarqube9
symfony-component9
cobol9
paginator9
Programming languages (4)
Github contributions (5)
sallaigy/sallaigy.github.io
Sep 2019 - Feb 2024
Contributions:1 push, 1 branch in 4 years 5 months
ftsrg/gazer
May 2018 - Feb 2021
An LLVM-based formal verification frontend for C programs.
Contributions:3 releases, 24 reviews, 282 commits in 2 years 9 months
c-programsformal-verificationformalprogramsfrontend
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.