Michaël Marcozzi
Permanent Researcher (CEA List Institute) at Université Paris-Saclay
Paris, Ile-de-France
Summary
👤
SeniorMichaël Marcozzi is a tenured cybersecurity researcher at CEA List (Université Paris-Saclay) and a visiting lecturer at ENSTA Paris, bringing nine years of experience in software security research. He specializes in fuzzing and program analysis, translating cutting-edge techniques into practical defenses and teaching material. Based in Paris, he blends academic rigor with applied engineering, routinely collaborating across research and teaching environments. Beyond publications, he focuses on making security tools usable for developers, bridging the gap between theoretical program analysis and real-world software hardening.
9 years of coding experience
Github Skills (12)
security9
rel4
constant-time4
verification3
smt3
relational2
z32
linux2
theorem-proving2
symbolic-execution2
erasure1
cryptography1
Programming languages (2)
Github contributions (5)
michaelmarcozzi/ltest
Feb 2017 - Aug 2017
Contributions:145 pushes, 1 branch in 6 months
michaelmarcozzi/ensta-asi336
Jan 2023 - Dec 2024
Contributions:9 pushes, 1 branch in 1 year 11 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.