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