Defense Advanced Research Projects AgencyTagged Content List

Formal Methods (Software)

Mathematical techniques for verification of hardware and software systems

Showing 1 results for Formal + Staff RSS
Program Manager
Dr. Raymond “Ray” Richards joined DARPA in January 2016. His research interests focus on high assurance software and systems.
| Cyber | Formal | Trust |