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.

oppo手机如何登录ins

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教程安卓

oppo手机如何登录ins

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

oppo手机如何登录ins

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

oppo手机如何登录ins

Our industrial advisory board

oppo手机如何登录ins

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

oppo手机如何登录ins

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