Mark Mendoza
Software Engineer at Meta
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolMark Mendoza is a software engineer with 11 years of experience building developer tools and type systems, currently leading a 10-engineer team at Meta focused on Rust-based tooling for custom silicon used in AI training and inference. He previously helped develop Pyre, an open-source type checker, and co-authored PEP 612 and co-authored PEP 646, shaping how Python expresses higher-order and variadic generics. His open-source contributions to high-profile Python projects—typeshed, peps, and pyre-check—show a rare mix of backend systems work, type-design expertise, and meticulous technical writing. Comfortable across OCaml, Python, and Rust, he bridges language design, performance optimization, and developer experience. Based in San Francisco and a Stanford CS alumnus, he brings both hands-on engineering and technical leadership to complex, hardware-adjacent software problems. An often-overlooked strength is his ability to translate formal type-system ideas into practical tools that improve everyday developer productivity.
11 years of coding experience
Bachelor’s Degree Computer Science, Bachelor’s Degree Computer Science at Stanford University
English, Spanish
Stackoverflow
113reputation
884reached
0answers
1question
Github Skills (27)
static-typing10
static-analysis10
type-check10
restructuredtext10
python10
back-end-development10
stub10
stubs10
dynamic-typing10
rs10
implicit-typing10
type-system10
pep10
optional-typing10
strong-typing10
Programming languages (10)
Github contributions (5)
facebook/pyre-check
Aug 2018 - Aug 2020
Performant type-checking for python.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:814 commits, 2 PRs, 1 push in 1 year 11 months
Contributions summary:Mark primarily worked on the backend of the project, making significant changes to the type-checking infrastructure for Python. Their contributions include refactoring the codebase, introducing a new type of attribute representation, and integrating it with the existing dependency tracking system. They also focused on optimizing the performance of the type checker and resolving various type-related issues, particularly those related to user-defined types. The user also worked on adding the support for general decorators and making changes in the code for better error messages and overall functionality.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
python/typeshed
Feb 2019 - Jan 2021
Collection of library stubs for Python, with static types
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 13 PRs, 23 comments in 1 year 10 months
Contributions summary:Mark primarily contributes to type definitions for the Python standard library and third-party packages. Their work involves fixing type signatures, adding stubs for extensions, and ensuring type correctness within the context of the typeshed project. The commits focus on improving the accuracy and completeness of type annotations, impacting the overall type safety and developer experience of Python code using this repository. They address issues related to typing in core Python modules and third-party libraries.
mypystatic-typingpythonstubtypechecker
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.