Tan Yee Jian

Math & Computer Science @ National University of Singapore

I love playing the piano during my free time. Currently interested in in Type Theory and Theorem Provers.

  • Email
  • Resume, CV (Research)
  • GitHub
  • LinkedIn
  • Blog
  • Youtube