DEEPSPEC - Key Persons

Adam Chlipala

Job Titles:

Principal Investigator / Associate Professor, Massachusetts Institute of Technology
Principal Investigator at MIT

Andres Erbsen

Job Titles:

Master 's Student at MIT

Arthur Oliveira Vale

Job Titles:

Student at Yale University

Benjamin Delaware

Job Titles:

Assistant Professor at Purdue University

Benjamin Sherman

Job Titles:

Student at MIT

Calvin Beck

Job Titles:

Student at University of Pennsylvania

Christa Simaan

Job Titles:

Summer REU Student at University of Pennsylvania

Christine Rizkallah

Job Titles:

Post Doc at University of Pennsylvania

David Costanzo

Job Titles:

Research Associate at Yale University

Dustin Jamner

Job Titles:

Student at MIT at MIT

Irene Yoon

Job Titles:

Student at University of Pennsylvania

Jade Philipoom

Job Titles:

Master 's Student at MIT

Jason Gross

Job Titles:

Student at MIT

Joel McCarthy

Job Titles:

Masters Student at University of Pennsylvania

John Hughes

Job Titles:

IAB Member and Collaborator at Chalmers University

John M. Li

Job Titles:

Student at Princeton University

Joshua Lockerman

Job Titles:

Student at Yale University

Josiah Dodds

Job Titles:

Researcher ( Collaborator ) at Galois, Inc

Jérémie Koenig

Job Titles:

Student at Yale University

Karthik Bhargavan

Job Titles:

Researcher at Inria

Kenneth Foner

Job Titles:

Student at University of Pennsylvania

Lennart Beringer

Job Titles:

Associate Director / Research Scientist, Princeton University
Research Scientist and DeepSpec Associate Director at Princeton University

Role research scientist and DeepSpec associate director

Leonidas Lampropoulos

Job Titles:

Student at Penn at University of Pennsylvania

Lionel Rieg

Job Titles:

Associate Research Scientist at Yale University

Lucas Paul

Job Titles:

Student at Yale University

Lucas Silver

Job Titles:

Student at University of Pennsylvania

Matthew Weaver

Job Titles:

Student at Princeton University

Nick Giannarakis

Job Titles:

Student at Princeton University

Nicolas Koh

Job Titles:

Student at University of Pennsylvania

Olivier Savary Belanger

Job Titles:

Student at Princeton University

Pritam Choudhury

Job Titles:

Graduate Student at University of Pennsylvania

Quentin Carbonneaux

Job Titles:

Student at Yale University

Richard Zhang

Job Titles:

Student at University of Pennsylvania

Robert Sloan

Job Titles:

MIT Master

Ronghui Gu

Job Titles:

Research Associate at Yale University

Santiago Cuellar

Job Titles:

Student at Princeton University

Stella Lau

Job Titles:

Student at MIT

Steve Zdancewic

Job Titles:

Principal Investigator at University of Pennsylvania

Thomas Bourgeat

Job Titles:

Student at MIT

Vilhelm Sjöberg

Job Titles:

Associate Research Scientist at Yale University

Wolf Honore

Job Titles:

Student at Yale University

Yao Li

Job Titles:

Student at University of Pennsylvania

Yuyang Sang

Job Titles:

Graduate Student at Yale University

Zhong Shao

Job Titles:

Principal Investigator / Professor, Yale University
Principal Investigator at Yale University

Zoe Paraskevopoulou

Job Titles:

Student at Princeton University