About

Tim is a second-year PhD candidate in the Programming Languages group at Princeton's Computer Science department. He is currently advised by Prof. Aarti Gupta.
His interests in the programming languages domain span formal verification, particularly for networks; type theory; and compiler optimization. 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