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