Stefano Milizia - Software Engineer II at Microsoft

Stefano Milizia

Software Engineer II at Microsoft

London, England, United Kingdom

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Stefano Milizia is a Software Engineer II at Microsoft with eight years of hands-on experience in systems-focused C++ development and compiler-like tooling, grounded in an MEng in Computer Science from Imperial College London. He has deep practical experience with fuzzing and program transformations, having contributed notable enhancements to the widely used KhronosGroup/SPIRV-Tools project to improve SPIR-V fuzzer coverage and robustness. Stefano excels at tackling hard algorithmic and control-flow problems, a strength demonstrated during internships at Google and Microsoft where he designed semantics-preserving transformations and improved fuzzer frameworks. He thrives in collaborative, research-adjacent teams and enjoys uncovering elegant solutions to intricate problems, often balancing rigorous engineering with clear technical communication. Based in London, he pairs academic rigor with production-grade delivery and a proven track record of shipping impactful open-source and enterprise tooling.

8 years of coding experience

2 years of employment as a software developer

IISS "E. Majorana", Brindisi

Master of Engineering - MEng Computer Science, Master of Engineering - MEng Computer Science at Imperial College London

Italian, English, German

Github Skills (6)

spirv10

fuzzing10

c-language10

cprogramming-language10

compiler-optimization9

testing8

Programming languages (2)

C++Scala

Github contributions (5)

KhronosGroup/SPIRV-Tools

Jul 2020 - Oct 2020

Role in this project:

Back-end Developer

Contributions:155 reviews, 28 commits, 30 PRs in 2 months

Contributions summary:Stefano's contributions primarily focused on enhancing the SPIR-V tools' fuzzing capabilities. They implemented transformations related to constant handling, including recording synonymous constants, interchanging zero-like constants, and extending the handling of composite constants. Additionally, the user contributed to the fuzzer framework with helper functions and bug fixes related to access chains and function returns. These changes improved the fuzzer's ability to identify and handle various code patterns.

stefanomil/SPIRV-Tools

Jul 2020 - Oct 2020

Contributions:213 pushes, 31 branches in 3 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.

Request Free Trial