Mikaël Mayer
Senior Applied Scientist at Tharzen
Austin, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolMikaël Mayer is a Senior Applied Scientist and CTO with 16 years of experience blending research-grade program synthesis and verification with product engineering to ship impactful, user-focused software. He translated his PhD work on interactive program synthesis into a commercial WordPress/Prestashop editing plugin at Tharzen, demonstrating an uncommon ability to move reversible programming-language ideas into practical web tooling. Mikaël has led and mentored teams through research, prototyping, customer interviews, and go-to-market validation—securing NSF funding and early sales while iterating on product-market fit. As an open-source contributor he’s improved robustness and diagnostics in heavyweight verification tools like Boogie and Dafny, showing deep expertise in back-end language tooling and theorem-prover resilience. Now at AWS as a Senior Applied Scientist, he combines applied research savvy with large-codebase engineering skills to automate workflows and free time for creative design. Colleagues describe him as a pragmatic inventor who nudges complex systems toward usable, inclusive outcomes.
16 years of coding experience
6 years of employment as a software developer
2010 Informatique, 2010 Informatique at École PolytechniqueMaster Computer Science, Master Computer Science at EPFL
English, German, Spanish, Italian, langues des signes fr, French
Stackoverflow
10,536reputation
2.4mreached
206answers
115questions
android
top-5%
libgdx
top-5%
debugging
top-5%
scala
top-5%
google-chrome
top-5%
localization
top-5%
Github Skills (27)
programming-language10
verification10
boogie10
dafny10
type-system10
compiler-design10
formal-verification10
language-design10
z310
theorem-proving10
javascript9
debugging9
scala9
libgdx9
csharp9
Programming languages (14)
Github contributions (5)
dafny-lang/dafny
Oct 2021 - Jan 2023
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer & Language Designer
Back-end Developer & Language DesignerContributions:1 release, 2328 reviews, 719 commits in 1 year 3 months
Contributions summary:Mikaël's contributions primarily focused on enhancing the Dafny language's features and resolving compiler and resolution issues. They addressed bugs and improved error messages related to type mismatches, handling of default values, and issues in the language's parsing and compilation. The user also implemented features such as the support for new constructs in the language such as a 'seq<string>' argument, and improved the handling of various patterns.
compilerdafnyprogramming-languageverification
boogie-org/boogie
Nov 2021 - Jan 2023
Boogie
Role in this project:Back-end Developer
Back-end DeveloperContributions:168 reviews, 29 commits, 21 PRs in 1 year 1 month
Contributions summary:Mikaël primarily focused on improving the robustness and reliability of the Boogie verification tool. Their contributions include implementing checks to handle potential crashes in the Z3 theorem prover during reset operations, enhancing real-time verification reporting, and restarting the process if prover errors occur. Additionally, the user addressed issues related to error messages and counter-examples, contributing to more accurate and informative verification results.
boogie
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.