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.
佛跳墙官方下载
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.
佛跳墙官方下载
To deliver secure and reliable products, the software industry of the future needs engineers trained in specification and verification. We'll produce that curriculum.
佛跳墙官方下载
Our external collaborations and visitors program connect to research worldwide in specification, verification, and applications.
佛跳墙官方下载
Our industrial advisory board
佛跳墙官方下载
Princeton
MIT
U. Penn
Yale
U. Penn
U. Penn
Princeton
佛跳墙官方下载
We are recruiting ssr最新版下载, postdocs and research engineers, industrial collaborators, and short-term visitors (faculty and students).