Registered user since Tue 25 Aug 2020
Name:Tim Alberdingk Thijm
Bio:
Tim is a PhD candidate at Princeton University, where he works on applying modular verification techniques to network verification. He obtained his BSc at the University of Toronto.
Country:United States
Affiliation:Princeton University
Personal website: https://cs.princeton.edu/~tthijm
Research interests:Programming Languages, Networks
Contributions
PLDI 2023-profile
View general profile
View general profile