Visitors

• Hossein Hojjat

Postdocs

• Guy Amir

Staff

• Ben Ylvisaker
• Jedidiah McClurg
• Rebecca Liu
• Shailja Gaur

PhD Students

• Aditya Senthilnathan
• Mark Barbone
• Mark Moeller

Master's Students

• Annabel Baniak

Undergrad Students

• Tudor Braicu

Postdoc Alumni

• 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
• Tobias Kappé (Postdoc 2021)
  Most recent position: Assistant Professor, University of Leiden
• Hardik Soni (Postdoc 2021)
  Most recent position: Senior Researcher, HPE Labs
• Mina Tahmasbi Arashloo (Postdoc 2023)
  Most recent position: Assistant Professor, University of Waterloo
• Parisa Ataei (Postdoc 2023)
  Most recent position: Research Engineer, IOG
• Jules Jacobs (Postdoc 2025)
  Most recent position: Software Engineer, Jane Street

PhD Alumni

• 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