Tim Alberdingk Thijm

Registered user since Tue 25 Aug 2020

Name:Tim Alberdingk Thijm

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
Research interests:Programming Languages, Networks


Show activities from other conferences

PLDI 2023-profile
View general profile