Yee T
Doctoral Student at DistriNet Research Unit @KU Leuven
Singapore
Summary
🤩
Rockstar🎓
Top SchoolYee T is a doctoral student and researcher with a decade of experience bridging systems programming and type theory, currently implementing Multimodal Type Theory in Agda at KU Leuven. With a strong theoretical foundation from École Polytechnique’s MPRI and top honors from NUS, Yee has contributed to formal verification efforts at Inria and the MetaCoq project, tackling core Coq guard conditions and module formalization. Prior industry internships include work on Feast at Gojek and building production volunteer and case management systems, showing an ability to move between cutting-edge theorem proving research and practical software engineering. Notably, Yee’s trajectory combines deep formal methods expertise with hands-on system delivery across academic and industry settings, and a persistent focus on making type-theoretic ideas computationally actionable.
10 years of coding experience
1 year of employment as a software developer
High School, Science Stream (Express), 10 A1s in O-Levels. Subject Prize in Social Studies/Geography & Higher Music., High School, Science Stream (Express), 10 A1s in O-Levels. Subject Prize in Social Studies/Geography & Higher Music. at Chung Cheng High School (Main)NUS University Scholars ProgrammeBS(Hons), BComp(Hons), Computer Science, Mathematics (Double Degree), Highest Distinction, BS(Hons), BComp(Hons), Computer Science, Mathematics (Double Degree), Highest Distinction at National University of SingaporeMasters, Parisian Masters of Research in Computer Science, Masters, Parisian Masters of Research in Computer Science at École PolytechniqueGCE A-Levels, Science, 8 Distinctions, GCE A-Levels, Science, 8 Distinctions at Raffles Institution
Github Skills (85)
python10
windows10
bash10
interpreter10
linux10
coq10
shell10
smt10
cli10
c-language10
data-science10
console10
verification10
ocaml10
bsd10
Programming languages (24)
Github contributions (5)
usdevs/cinnabot
Aug 2018 - Jan 2020
Contributions:44 commits, 21 PRs, 22 pushes in 1 year 4 months
SwampertX/guilt
Oct 2019 - Nov 2019
Address Book - Level 3
Contributions:111 pushes, 27 branches, 2 tags in 1 month
phpaddressaddress-book
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.