Manuel Fahndrich
Principal Software Engineer at Meta
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolManuel Fahndrich is a Principal Software Engineer based in Seattle with over a decade of experience blending programming-language research and production-grade tooling. He has advanced static analysis, type-checking, and VM internals at Meta/Facebook and Google, and before that spent many years driving program verification research at Microsoft Research and UC Berkeley. Manuel’s open-source contributions include deep work on high-profile projects such as HHVM, Flow, and Pyre—bringing formal analyses like taint propagation and abstract domains into practical developer tools. He specializes in turning language and analysis theory into maintainable, high-performance software that improves developer productivity. Notably, he pairs a PhD in computer science with hands-on backend and memory-management fixes, making him as comfortable in peer-reviewed research venues as in large-scale engineering codebases.
11 years of coding experience
28 years of employment as a software developer
PhD Computer Science, PhD Computer Science at University of California, BerkeleyDiplome Computer Engineering, Diplome Computer Engineering at EPFLExchange Computer Science, Exchange Computer Science at Carnegie Mellon University
German, French, German, English
Stackoverflow
665reputation
18kreached
25answers
0questions
Github Skills (22)
algorithms10
static-analysis10
type-check10
python10
hacking10
abstract-interpretation10
hhvm10
data-structure10
php10
data-structures10
type-checking10
json9
memory-management9
error-handling9
shared-memory9
Programming languages (6)
Github contributions (5)
facebook/pyre-check
Jun 2018 - Sep 2022
Performant type-checking for python.
Role in this project:
Back-end Developer & Analysis/Type Check Engineer
Back-end Developer & Analysis/Type Check EngineerContributions:248 commits, 11 comments, 2 issues in 4 years 3 months
Contributions summary:Manuel contributed significantly to the `pyre-check` repository, which focuses on performant type-checking for Python. Their commits involved developing abstract domains, simplifying fixpoint interfaces, and refactoring code to align with naming conventions. Their work also included the implementation of forward and backward taint propagation analysis within the type-checking system. The user's efforts were focused on improving and expanding the core type-checking capabilities.
pythontype-checkingtypecheckertype-checkstatic-analysis
facebook/hhvm
Nov 2016 - Dec 2021
A virtual machine for executing programs written in Hack.
Role in this project:Back-end Developer
Back-end DeveloperContributions:52 commits in 5 years 1 month
Contributions summary:Manuel primarily contributed to the HHVM project by modifying code related to the Hack language and its associated tools. Their work involved fixing bugs and improving the error handling within the HHVM virtual machine. They also made changes to ensure test files are type-checked, refactored AI options, and optimized heap memory management. The user's changes demonstrate expertise in the core functionality of HHVM, including parsing, type-checking, and memory management.
virtual-machinehhvmphphacklang
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.