Tim Alberdingk Thijm
Research Intern

Tim Alberdingk Thijm is a research intern and PhD candidate at Princeton University, where he is part of the computer science department's Programming Languages group.
His research focusses on scalable and automated formal verification for computer networks: most of the time, for the distributed network control plane.
Tim interned at Cloudflare in 2022, where he worked on implementing formal verification for policy-based DNS.

Research Areas

Formal verification, Compositional reasoning, Network privacy