Michael Yang
Researcher at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Yang is a researcher and software engineer based in Cambridge, MA, with 11 years of experience bridging systems engineering and theoretical computer science. Currently developing Mantis at MIT CSAIL’s Kellis Lab, he brings deep build-system and cross-platform expertise demonstrated by contributions to the P programming language—improving Linux/Mono compatibility and modernizing CMake/NuGet-based builds. His academic work includes MIT PRIMES-USA research on linear circuits and matrix rigidity, with results presented at JMM 2024, reflecting a strong foundation in both proofs and practical implementation. A dual Math and Computer Science graduate from MIT with top grades, he combines rigorous theoretical thinking with hands-on back-end development to tackle reproducible research and toolchain challenges.
11 years of coding experience
Bachelor's degree, Mathematics and Computer Science, 5.0/5.0, Bachelor's degree, Mathematics and Computer Science, 5.0/5.0 at Massachusetts Institute of TechnologyHigh School Diploma, High School Diploma at Lakeside School
Github Skills (13)
compiler10
compile-time10
compilation10
compile10
csharp9
dotnet-core9
multiplatform9
formal-verification9
cmake9
cross-platform9
distributed-systems8
linux8
asynchronous8
Programming languages (20)
Github contributions (5)
p-org/P
Mar 2016 - Sep 2016
The P programming language.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 commits, 2 PRs, 1 push in 5 months
Contributions summary:Michael primarily worked on the P programming language project, focusing on compatibility with Linux, Mono, and fixing build warnings. Their contributions include changes to configuration files to support Linux and modifications to build scripts. Furthermore, the user made several changes related to project dependencies and build processes using tools like CMake and NuGet, showcasing their involvement in the build and compilation aspects of the project.
model-checkingcoq-librarytlaformal-verificationcompiler
thisiscam/SylvanSharp
Nov 2016 - Aug 2023
Contributions:21 pushes, 1 branch, 2 comments in 6 years 10 months
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.