Guido Martínez
Research Development Software Engineer at Microsoft
Seattle, Washington, United States
Summary
🤩
RockstarGuido Martínez is a Research Development Software Engineer based in Seattle with 12 years of experience building low-level, verifiable systems. At Microsoft he applies a research-minded engineering approach to implement and verify core language infrastructure, drawing on deep expertise in compiler internals and formal methods. His open-source work on the FStarLang/FStar project shows hands-on contributions to proof-oriented programming, extending builtins, reflection, and the compiler syntax—skills that bridge theory and production code. Colleagues rely on him for tackling intricate verification challenges and making subtle, correctness-focused changes that enable downstream tooling and proofs. Guido combines rigorous academic-style thinking with pragmatic engineering to deliver auditable, maintainable language features.
12 years of coding experience
Github Skills (6)
verification10
functional-programming10
compiler-design10
dependent-types10
formal-methods9
language-design8
Programming languages (17)
Github contributions (5)
FStarLang/FStar
Mar 2016 - Jan 2023
A Proof-oriented Programming Language
Role in this project:
Back-end Developer & Verification Engineer
Back-end Developer & Verification EngineerContributions:100 reviews, 5675 commits, 1223 PRs in 6 years 11 months
Contributions summary:Guido appears to be working on a proof-oriented programming language, as evidenced by commits that modify the F* language. Their contributions are related to the low-level mechanisms of the language, including modifying the syntax of the compiler, as well as extending its builtins and reflection. The changes seem to focus on verifying and implementing components. The user is deeply involved with the implementation of the core infrastructure of the F* language.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
mtzguido/lcc.cls
Apr 2022 - Nov 2022
Contributions:64 commits, 65 pushes, 3 branches in 6 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.