DeepSpec
 
The Science of Deep Specification

Andrew Appel

Andrew W. Appel

DeepSpec Consortium Director and Principal Investigator

Professor, Princeton University

Lennart Beringer

Lennart Beringer

Associate Director

Research Scientist, Princeton University

Adam Chlipala

Adam Chlipala

Principal Investigator

Associate Professor, Massachusetts Institute of Technology

Benjamin Pierce

Benjamin C. Pierce

Principal Investigator

Professor, University of Pennsylvania

Zhong Shao

Zhong Shao

Principal Investigator

Professor, Yale University

Stephanie Weirich

Stephanie Weirich

Principal Investigator

Professor, University of Pennsylvania

Steve Zdancewic

Steve Zdancewic

Principal Investigator

Professor, University of Pennsylvania

Abhishek Anand, external collaborator, PhD student at Cornell University
Adam Chlipala, principal investigator at MIT
Adam Petcher
Andres Erbsen, master's student at MIT
Andrew W. Appel, principal investigator at Princeton University
Antal Spector-Zabusky, PhD student at University of Pennsylvania
Antoine Voizard, PhD student at University of Pennsylvania
Arvind, professor at MIT
Benjamin C. Pierce, Principal Investigator at University of Pennsylvania
Benjamin Sherman, PhD student at MIT
Benoit Viguier
Christine Rizkallah, Post Doc at University of Pennsylvania
Cătălin Hriţcu, Collaborator at Inria
David Costanzo, research associate at Yale University
David Naumann
Diane Gallois-Wong
Dmitri Garbuzov, PhD Student at University of Pennsylvania
Greg Morrisett, external collaborator, Dean of CIS at Cornell University
Hao Chen, external collaborator at University of Electronic Science and Technology of China
Hernán Vanzetto, postdoc at Yale University
Jade Philipoom, master's student at MIT
Jason Gross, PhD student at MIT
Ji-Yong Shin, postdoc at Yale University
Jieung Kim, PhD student at Yale University
Joachim Breitner, postdoc at University of Pennsylvania
Joe Devietti, Collaborator at University of Pennsylvania
Joel McCarthy, Masters Student at University of Pennsylvania
John Hughes, IAB member and collaborator at Chalmers University
Joonwon Choi, PhD student at MIT
Joshua Lockerman, PhD student at Yale University
Jérémie Koenig, PhD student at Yale University
Karthik Bhargavan, researcher at Inria
Katherine Q. Ye
Lennart Beringer, research scientist and DeepSpec associate director at Princeton University
Leonidas Lampropoulos, PhD student at Penn at University of Pennsylvania
Li-yao Xia
Lionel Rieg, associate research scientist at Yale University
Lucas Paul, PhD student at Yale University
Matthew Green, external collaborator at Johns Hopkins University
Matthew Weaver, PhD student at Princeton University
Matthieu Sozeau
Mengqi Liu, PhD student at Yale University
Mirai Ikebuchi, intern at MIT
Murali Vijayaraghavan, postdoc at MIT
Naphat Sanguansin, alumni at Princeton University
Nick Giannarakis, PhD student at Princeton University
Nirav Dave, external collaborator at Google
Olivier Savary Belanger, PhD student at Princeton University
Pedro Henrique Avezedo de Amorim, Intern at University of Pennsylvania
Pierre Wilke, postdoc at Yale University
Qinxiang Cao, PhD student at Princeton University
Quentin Carbonneaux, PhD student at Yale University
Randy Pollack, external collaborator at Edinburgh University
Richard Eisenberg
Richard Zhang, PhD Student at University of Pennsylvania
Ronghui Gu, research associate at Yale University
Samuel Gruetter
Santiago Cuellar, PhD student at Princeton University
Stephanie Weirich, Principal Investigator at University of Pennsylvania
Steve Zdancewic, Principal Investigator at University of Pennsylvania
Tahina Ramananandro, external collaborator at Microsoft Research
Thomas Braibant
Unsung Lee, visiting student at Yale University
Vilhelm Sjöberg, associate research scientist at Yale University
William Mansky, postdoc at Princeton University
Wolf Honore, PhD student at Yale University
Xiongnan (Newman) Wu, PhD student at Yale University
Yao Li, PhD student at University of Pennsylvania
Yishuai Li, PhD student at University of Pennsylvania
Yuanfeng Peng, PhD student (collaborator) at University of Pennsylvania
Yuting Wang, postdoc at Yale University
Zhong Shao, principal investigator at Yale University
Zoe Paraskevopoulou, PhD student at Princeton University