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.
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.
Community
Our external collaborations and visitors program connect to research worldwide in specification, verification, and applications.
Tech transfer
Researchers
Opportunities
We were recruiting PhD students, postdocs and research engineers, industrial collaborators, and short-term visitors (faculty and students).