Denis Mazzucato
Compiler Engineer at AdaCore
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolDenis Mazzucato is a Compiler Engineer with eight years of experience, currently working on the GNAT Ada frontend inside the GCC at AdaCore. He holds a PhD in formal methods from École Normale Supérieure and recently completed postdoctoral work verifying cryptographic libraries with teams at Carnegie Mellon and NASA, blending rigorous verification with practical systems. Denis has research and industry experience from roles at Amazon and academic exchanges in Amsterdam, and he brings deep expertise in static analysis and language tooling to compiler development. An uncommon thread in his background is hands-on service work in hospitality, which he credits for sharpening communication and stakeholder empathy when translating formal guarantees into usable engineering outcomes.
8 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ecole normale supérieureErasmus exchange program, Computer Science, Erasmus exchange program, Computer Science at Vrije Universiteit Amsterdam (VU Amsterdam)Master's degree, Computer Science, 110/110 cum Laude, Master's degree, Computer Science, 110/110 cum Laude at Università degli Studi di PadovaHigh School Diploma, IT and Telecommunication, High School Diploma, IT and Telecommunication at ITI F. Severi
English, Italian, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (27)
abstract-interpretation9
science8
pure-python8
machine-learning8
static-analysis8
user-friendly7
python7
language-server6
parser6
math6
algebra6
angr5
computer-algebra-system5
language-server-protocol5
computer-algebra5
Programming languages (4)
Github contributions (5)
mtodescato/marvin
May 2018 - Nov 2018
Contributions:46 PRs, 59 pushes, 43 branches in 6 months
denismazzucato/denismazzucato.github.io
Oct 2020 - Feb 2025
Contributions:2 PRs, 78 pushes, 2 branches in 4 years 5 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.