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
Aleksey Nogin, collaborator at HRL Laboratories
Andres Erbsen, master's student at MIT
Andrew W. Appel, principal investigator at Princeton University
Anshuman Mohan, external collaborator at National University of Singapore
Antal Spector-Zabusky, PhD student at University of Pennsylvania
Antoine Voizard, PhD student at University of Pennsylvania
Aquinas Hobor, external collaborator at National University of Singapore
Arvind, professor at MIT
Benjamin C. Pierce, Principal Investigator at University of Pennsylvania
Benjamin Delaware, assistant professor at Purdue University
Benjamin Sherman, PhD student at MIT
Benoit Viguier
Christine Rizkallah, Post Doc at University of Pennsylvania
Chung-Kil Hur
Clément Pit--Claudel, PhD student at MIT
Cătălin Hriţcu, Collaborator at Inria
David Costanzo, research associate at Yale University
David Kaloper Meršinjak, intern at University of Cambridge
David Naumann
Diane Gallois-Wong
Dmitri Garbuzov, PhD Student at University of Pennsylvania
Gopalan Nadathur
Greg Morrisett, external collaborator, Dean of CIS at Cornell University
Gregory Malecha
Hao Chen, external collaborator at University of Electronic Science and Technology of China
Hengchu Zhang, PhD student at University of Pennsylvania
Hernán Vanzetto, postdoc at Yale University
Jade Philipoom, master's student at MIT
Jan Hoffmann
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
John Wiegley
Joonwon Choi, PhD student at MIT
Joshua Lockerman, PhD student at Yale University
Josiah Dodds, Researcher (collaborator) at Galois, Inc
Jung-Eun Kim
Jérémie Koenig, PhD student at Yale University
Karthik Bhargavan, researcher at Inria
Katherine Q. Ye
Kenneth Foner, PhD student at University of Pennsylvania
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
Mahesh Balakrishnan
Man-Ki Yoon
Matthew Green, external collaborator at Johns Hopkins University
Matthew Weaver, PhD student at Princeton University
Matthieu Sozeau
Maxime Lesourd
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
Nicolas Koh, PhD Student at University of Pennsylvania
Nirav Dave, external collaborator at Google
Olivier Savary Belanger, PhD student at Princeton University
Paul He, PhD Student at University of Pennsylvania
Pedro Henrique Avezedo de Amorim, Intern at University of Pennsylvania
Pierre Wilke, postdoc at Yale University
Pritam Choudhury, Graduate student at University of Pennsylvania
Qianchuan Ye, PhD student at Purdue University
Qinxiang Cao
Quentin Carbonneaux, PhD student at Yale University
Randy Pollack, external collaborator at Edinburgh University
Richard Eisenberg
Richard Zhang, PhD Student at University of Pennsylvania
Robert Sloan, former MIT master's student at Google
Ronghui Gu, research associate at Yale University
Samuel Gruetter
Santiago Cuellar, PhD student at Princeton University
Shengyi Wang, Visiting PhD Student at Princeton University at National University of Singapore
Shu-Chun Weng
Sorawait Suriyakarn
Srihari Radhakrishnan
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
Thomas Reps
Unsung Lee, visiting student at Yale University
Vilhelm Sjöberg, associate research scientist at Yale University
William Mansky
Wolf Honore, PhD student at Yale University
Xiaojie Guo
Xiongnan (Newman) Wu, PhD student at Yale University
Yannick Zakowski, PostDoc at University of Pennsylvania
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
Yuyang Sang, Graduate Student at Yale University
Zhong Shao, principal investigator at Yale University
Zoe Paraskevopoulou, PhD student at Princeton University