Nitin Raj
Compiler Engineer at Microsoft
San Jose, California, United States
Summary
🤩
Rockstar🎓
Top SchoolNitin Raj is a compiler engineer based in San Jose with four years of experience building low-level tooling, currently working at Microsoft on hotpatching binaries. He previously contributed to compiler and toolchain work at SiFive and has a strong academic background in programming languages from IIIT Hyderabad and Purdue, where he taught PL topics and used Coq to verify language properties. His research experience includes formalizing semantics for distributed systems at Microsoft Research India and studying replicated datatypes, reflecting a blend of practical compiler engineering and formal methods. A daily compiler engineer and a self-described dependent type theorist by night, he brings uncommon rigor to production problems by applying theorem-proving and type-theoretic insights to real-world systems.
3 years of coding experience
2 years of employment as a software developer
Bachelor's degree Computer Science, Bachelor's degree Computer Science at International Institute of Information Technology Hyderabad (IIITH)National Public School, KoramangalaHigh School/Secondary Diplomas and Certificates, High School/Secondary Diplomas and Certificates at St. Joseph's Boys' High School, Bangalore
Github Skills (5)
compiler10
modular10
clang10
llvm10
toolchain10
Programming languages (2)
Github contributions (5)
nitinjohnraj/llvm-project
Sep 2023 - Oct 2023
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:44 pushes, 19 branches in 27 days
nitinjohnraj/nitinjohnraj
May 2022 - Feb 2023
Contributions:5 pushes, 1 branch in 9 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.