I’m fortunate to work with a fantastic research group.

Visitors

Postdocs

Arjun Guha (Postdoc 2014)
Most recent position: Associate Professor, Northeastern University
Robert Soulé (Postdoc 2015)
Most recent position: Associate Professor, Yale University
Hugo Pacheco (Postdoc 2017)
Most recent position: Assistant Professor, University of Porto
Justin Hsu (Postdoc 2019)
Most recent position: Associate Professor, Cornell University
Hardik Soni (Postdoc 2021)
Most recent position: Senior Researcher, HPE Labs
Tobias Kappé (Postdoc 2021)
Most recent position: Assistant Professor, University of Leiden
Mina Tahmasbi Arashloo (Postdoc 2023)
Most recent position: Assistant Professor, University of Waterloo
Parisa Ataei (Postdoc 2023)
Most recent position: Research Engineer, IOG

Mark Reitblatt (PhD 2017)
Dissertation: Formal Reasoning in Software-Defined Networks
Most recent position: Research Scientist, Meta
Shrutarshi Basu (PhD 2018)
Dissertation: Languages for Path-Based Network Programming
Most recent position: Visting Assistant Professor, Middlebury
Steffen Smolka (PhD 2019)
Dissertation: A (Co)algebraic Approach to Programming and Verifying Computer Networks
Most recent position: Staff Software Engineer, Google
Jonathan DiLorenzo (PhD 2020)
Dissertation: Domain-Specific Languages for Ad Hoc Data Processing
Most recent position: Software Engineer, Google
Praveen Kumar (PhD 2021)
Dissertation: Toward Predictable Networks
Most recent position: Software Engineer, Google
Ryan Doenges (PhD 2023)
Dissertation: Programming Language Foundations for Packet Processing
Most recent position: Distinguished Postdoctoral Fellow, Northeastern University
Eric Campbell (PhD 2024)
Dissertation: Verified Configuration of Programmable Networks
Most recent position: Postdoctoral Researcher, UT Austin