Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2018-07-09 to 2022-07-09
Current total value of award: $1354615
Description: VENUS: FORMAL VERIFICATION FOR NEURAL SYSTEMS