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

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

老王佛系加速器2.2.12

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

ssr教程安卓

老王佛系加速器2.2.12

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

老王佛系加速器2.2.12

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

老王佛系加速器2.2.12

Our industrial advisory board

老王佛系加速器2.2.12

Andrew Appel
Appel

Princeton

Adam Chlipala
Chlipala

MIT

Benjamin Pierce
ssr教程安卓

U. Penn

Zhong Shao
Shao

Yale

ssr最新版下载
Weirich

U. Penn

Steve Zdancewic
Zdancewic

U. Penn

Lennart Beringer
Beringer

Princeton

老王佛系加速器2.2.12

We are recruiting ssr最新版下载, postdocs and research engineers, industrial collaborators, and short-term visitors (faculty and students).