About

Tim is a first-year PhD candidate in the Programming Languages group at Princeton's Computer Science department.
His interests – very broadly – cover verification, type systems and compilers in the programming language domain, although he has also previously worked on projects in the computational linguistics and digital humanities fields.

Tim completed his BSc at the University of Toronto in 2018 in computer science and English.

Research

Publications

Miscellaneous Links