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.
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.
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.
We were recruiting PhD students, postdocs and research engineers, industrial collaborators, and short-term visitors (faculty and students).