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.