![Tim Alberdingk Thijm](https://conf.researchr.org/getProfileImage/timalberdingkthijm/0e78daf8-94c0-40d7-bc7c-28e2add6ac5c/small.jpg?1712449747000)
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