Michael Tingley

Member Of Technical Staff at Anthropic

Palo Alto, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
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.
code10 years of coding experience
job13 years of employment as a software developer
bookBachelor’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
languagesEnglish, Spanish
stackoverflow-logo

Stackoverflow

Stats
136reputation
2kreached
0answers
5questions
github-logo-circle

Github Skills (10)

type-checking10
type-check10
compiler-development10
build-system8
mercurial6
sqlite6
sql6
broadcast-receiver6
android6
scala6

Programming languages (5)

C++HackOCamlJavaScriptPython

Github contributions (5)

github-logo-circle
facebook/flow

Feb 2017 - May 2018

Adds static typing to JavaScript to improve developer productivity and code quality.
Role in this project:
userBack-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.
static-typingproductivityjavascriptdeveloper-productivitydataflow-programming
michaeltingley/betterworks

Jan 2016 - Jan 2016

Contributions:16 pushes, 1 branch in 2 days
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.
Request Free Trial