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 (105)
agda10
python10
windows10
bash10
mathematical10
mlops10
mlops-workflow10
dependent-types10
proofs10
linux10
coq10
idris10
wolfram-language10
shell10
smt10
Programming languages (23)
Github contributions (5)
SwampertX/guilt
Oct 2019 - Nov 2019
Address Book - Level 3
Contributions:111 pushes, 27 branches, 2 tags in 1 month
phpaddressaddress-book
SwampertX/Alpha-Meal
May 2016 - Mar 2019
Contributions:20 PRs, 48 pushes, 8 branches in 2 years 9 months
reactexpressnodejsmeallunch
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.