Manish Saha
Senior Software Engineer at Meta
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolManish Saha is a Senior Software Engineer with a decade of experience building reliable backend systems, currently at Meta in New York after a rapid progression from software engineering roles and internships at major tech firms. A Cornell CS alumnus and former backend developer for Cornell AppDev, he focuses on pragmatic, production-ready solutions and has shipped improvements to core type-checking logic in the high-profile open-source project pyre-check. His work shows strength in type systems and callable-refinement features, reflecting a knack for tackling subtle correctness challenges that benefit large Python codebases. Comfortable moving between researchy language tools and scalable backend services, he brings both academic rigor and hands-on product experience to complex engineering problems.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Bachelor of Science - BS at Cornell UniversityStuyvesant High School
Github Skills (9)
type-checking10
static-analysis10
type-check10
python10
typechecker10
ocaml10
abstract-interpretation8
control-flow8
flow-control8
Programming languages (6)
Github contributions (5)
facebook/pyre-check
Jan 2020 - Mar 2020
Performant type-checking for python.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:32 commits in 2 months
Contributions summary:Manish primarily contributed to the type-checking functionality of the Python project. They implemented and refined features related to type variables and callable signatures, improving the accuracy of type checking for complex scenarios involving callable types and attribute chains. Their work included handling extension cases for bounded typed variables and adding refinement capabilities to the `if callable` control flow. The user's contributions involved modifications to core type-checking logic and the addition of integration tests to verify the implemented changes.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
jschluger/YEEZY
Jan 2016 - Jan 2016
Contributions:103 pushes, 1 issue in 16 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.