Andrew Kenn
Software Engineer at Meta
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolAndrew Kenn is a software engineer with 11 years of experience who blends systems-level thinking from a USMC background with production engineering at Meta (now working on Wearables Core OS after helping ship new privacy experiences). A Columbia CS graduate and contributor to high-profile static-analysis work (improving the Hack type checker and Flow’s type inference/error systems), he focuses on compiler design, static analysis, and backend reliability. He has full-stack product experience from Android and Hack at Instagram to Kotlin-based tooling integrated with BigQuery, pairing practical product impact with deep technical rigor. Known for turning complex correctness problems into maintainable systems, he brings disciplined process, operational awareness, and a track record of shipping features that improve developer productivity and end-user privacy.
11 years of coding experience
4 years of employment as a software developer
Bachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at Columbia University in the City of New York
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
compiler-design10
type-checking10
static-analysis10
type-inference10
type-check10
Programming languages (4)
Github contributions (5)
facebook/flow
Mar 2016 - Dec 2019
Adds static typing to JavaScript to improve developer productivity and code quality.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:33 commits in 3 years 9 months
Contributions summary:Andrew primarily focused on improving the Hack type checker, contributing to the core functionality of the `facebook/flow` repository. Their work involved fixing type-checking bugs, optimizing the type inference process, and refactoring the error handling and constraint systems. The user also implemented features related to recursive constraints and improved the display of error messages, demonstrating expertise in compiler design and static analysis.
static-typingproductivityjavascriptdeveloper-productivitydataflow-programming
andrewjkennedy/visualfsharp
Jan 2015 - Mar 2015
Contributions:6 pushes, 2 branches in 1 month
compilerfsharpcsharp
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.