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

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).