Ming-ho Yee
Research Scientist at Meta
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolMing-ho Yee is a research scientist at Meta with 14 years of experience in programming languages, compilers, and program analysis, and recently completed a Ph.D. at Northeastern University focused on using machine learning to migrate JavaScript to TypeScript. He combines deep systems experience—over a decade implementing compilers and JITs—with research that sits at the intersection of ML and PL design, making tooling and migrations more automated and robust. His contributions to the Flix programming language highlight practical language implementation skills, including macro systems and runtime value representations. A seasoned educator and researcher, he has held research and teaching roles at Northeastern and Waterloo and interned at Microsoft, blending academic rigor with industry impact. Based in the San Francisco Bay Area, he brings both large-scale research experience and hands-on engineering craftsmanship to production-facing language tools.
15 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Northeastern UniversityMaster of Mathematics (MMath), Master of Mathematics (MMath) at University of Waterloo
Github Skills (4)
interpreter10
type-system8
data-structures8
data-structure8
Programming languages (14)
Github contributions (5)
flix/flix
May 2015 - Aug 2017
The Flix Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:413 commits, 2 pushes, 1 tag in 2 years 3 months
Contributions summary:Ming-ho has been actively developing and improving the Flix Programming Language, specifically focused on enhancing its features and internal structure. Their work involves restructuring the main implementation into subprojects, adding and improving core language features such as macro-based support, and implementing core functionality for creating and manipulating Value types. The user's contributions include expanding the capabilities of the language, particularly its macro system and internal data representations for runtime execution.
programming-languagefliximperativelogicjvm
mhyee/uw-wkrpt
Apr 2012 - May 2014
Contributions:16 commits in 2 years 1 month
reportslatexlatex-classwaterloouniversity-of-waterloo
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.