Reservoir Labs collaborates with NSF DeepSpec Project
Reservoir Labs is pleased to support and participate in the National Science Foundation (NSF) DeepSpec project. DeepSpec, a collaboration among top programming language and compiler researchers, represents an opportunity to develop software systems with robust correctness and certification properties. It will be based on new and innovative technology in formal reasoning and proofs. Reservoir’s role includes service on the project’s Industrial Advisory Board, as well as technical contribution and collaboration.