conf.researchr.org / Tim Alberdingk Thijm
![Tim Alberdingk Thijm](https://conf.researchr.org/getProfileImage/timalberdingkthijm/754e06bf-c9a5-4d1d-92ca-dfee6a98bfe7/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