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