Hi, I’m Gyula 👋

Welcome to my personal digital laboratory. I am a software engineer fascinated by compilers, static analysis, formal verification, software performance and software quality. I work at Sonar, where I develop linters, taint analysis frameworks, static application security testing (SAST) solutions, and symbolic execution engines that uncover complex bugs.

I enjoy working most in the intersection of theory and practice, where I can turn great ideas into robust and working software. I share some of the learnings of that journey on this site.

You can find me on GitHub, LinkedIn, or you can drop me an email.