DeepSpec was an Expedition in Computing funded by the National Science Foundation.

We focused on the specification and verification of full functional correctness of software and hardware.

Research

We had several major research projects, and our ambitious goal is to connect them at specification interfaces to prove end-to-end correctness of whole systems.

Specifications and components

Education

To deliver secure and reliable products, the software industry of the future needs engineers trained in specification and verification. We'll produce that curriculum.

Education wheel


Community

Our external collaborations and visitors program connect to research worldwide in specification, verification, and applications.


Researchers

Andrew Appel
Appel

Princeton

Adam Chlipala
Chlipala

MIT

Benjamin Pierce
Pierce

U. Penn

Zhong Shao
Shao

Yale

Stephanie Weirich
Weirich

U. Penn

Steve Zdancewic
Zdancewic

U. Penn

Lennart Beringer
Beringer

Princeton


Opportunities

We were recruiting PhD students, postdocs and research engineers, industrial collaborators, and short-term visitors (faculty and students).