Members

Cornell

• Nate Foster (Faculty)
• Dexter Kozen (Faculty)
• Shrutarshi Basu (PhD student)
• Praveen Kumar (PhD student)
• Steffen Smolka (PhD student)

Princeton

• Jennifer Rexford (Faculty)
• David Walker (Faculty)
• Mina Tahmasbi Arashloo (PhD student)
• Ryan Beckett (PhD student)
• Robert Harrison (PhD student)
• Naga Praveen Katta (PhD student)
• Robert MacDavid (PhD student)

UMass Amherst

• Arjun Guha (Faculty)
• Samuel Baxter (PhD Student)

UCL

• Marco Canini (Faculty)

Alumni

• Joseph Collard (MS Student)
• Michael Freedman (Faculty)
• Emin Gün Sirer (Faculty)
• Josh Reich (Postdoc)
• Robert Soulé (Postdoc)
• Spiros Eliopoulos (Research programmer)
• Matthew Meola (PhD student)
• Christopher Monsanto (PhD student)
• Mark Reitblatt (PhD student)
• Cole Schlesinger (PhD student)
• Rob Harrison (MSE student)
• Nayden Nedev (MSE student)
• Stephen Gutz (Undergrad student)
• Constantine Moraites (Undergrad student)
• Alec Story (Undergrad student)
• Todd Warszawski (Undergrad student)