Michael Emmi
SDE at Amazon Web Services (AWS)
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolMichael Emmi is a software development engineer and researcher with 13 years of experience building program analysis foundations and practical verification tools, currently contributing to AWS from New York. He blends deep theoretical expertise across automata theory, programming languages, and distributed systems with hands-on engineering—translating intractable analysis problems into tractable approximations and shipping usable tools. His work on the Boogie verifier improved SMT-model handling and map/array extraction (including JSON representation), reflecting a knack for bridging solver theory and developer ergonomics. A PhD-trained researcher with roles at SRI, Bell Labs, IMDEA, and UCLA, he is comfortable moving between research and production to make software more reliable.
13 years of coding experience
14 years of employment as a software developer
Bachelor of Science (B.S.), Computer Science, 3.79, Bachelor of Science (B.S.), Computer Science, 3.79 at Binghamton UniversityUniversity of California, Los Angeles
English, French, Spanish
Github Skills (3)
csharp10
dotnet-core10
json9
Programming languages (8)
Github contributions (5)
boogie-org/boogie
Jul 2017 - Aug 2020
Boogie
Role in this project:
Back-end Developer
Back-end DeveloperContributions:122 releases, 1 review, 39 commits in 3 years 1 month
Contributions summary:Michael primarily contributed to enhancing the Boogie verifier's ability to handle and extract information from models generated by SMT solvers. They focused on extracting map values, improving the interface for this extraction, and adapting the code to work with different solver responses, especially from Z3. Their work involved modifying the code to parse and represent array expressions and incorporating JSON formatting for representing map values, thereby improving the usability and efficiency of the verifier.
boogie
michael-emmi/bibly
Jul 2015 - Nov 2022
Convert dblp keys into BibTeX entries.
Contributions:1 review, 54 commits, 12 PRs in 7 years 5 months
dblpkeyslatexentriesbibtex
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.