Michael Tingley is a senior engineering manager and Member of Technical Staff based in Palo Alto with ~11 years in software and infra leadership, including 8 years managing orgs across infrastructure and AI infrastructure. He has deep technical expertise spanning programming languages, ML compilers, probabilistic modeling, runtimes, and developer productivity, and has led large teams building performance-optimized Python runtimes and language services at Meta. At Meta he guided a 50-person org to make Python faster and more scalable (Cinder, multithreading, Pyre) and earlier led probabilistic modeling teams that productionized Bayesian learning across core business domains. He contributes to open-source compiler tooling—having worked on Facebook’s Flow/Hack compiler features—and blends hands-on systems work with strategy and cross-functional execution. Known for growing technical leaders and driving “big bet” initiatives, he excels at uniting research, infra, and product teams to ship end-to-end systems. His background in both academic research and large-scale production migrations gives him a rare combination of experimental rigor and operational experience.
10 years of coding experience
13 years of employment as a software developer
Bachelor’s Degree, Joint in Computer Science and Statistics, Magna Cum Laude, Bachelor’s Degree, Joint in Computer Science and Statistics, Magna Cum Laude at Harvard University
Adds static typing to JavaScript to improve developer productivity and code quality.
Role in this project:
Back-end Developer
Contributions:8 commits in 1 year 2 months
Contributions summary:Michael primarily contributed to the "flow" project, focusing on the Hack language and its related tools. Their work included implementing and refining features for the Hack compiler, such as supporting optional shape fields, `darray` and `varray` data types, and static coroutines. They also worked on refactoring the coroutine system and improving the build process by pulling in `.hhi` files.
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.