Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: GALOIS, INC.
Awarding agency: Department of Defense / Defense Advanced Research Projects Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2021-12-17 to 2023-12-17
Current total value of award: $1486577
Description: LIFTING LEGACY CODE TO SAFER LANGUAGES (LILAC-SL)