Matthew Wilding
Program Manager
Information Innovation Office
Dr. Matthew Wilding joined DARPA in March 2022 to develop, execute, and transition programs in software engineering and critical system assurance.
Wilding came to DARPA from Collins Aerospace, where he managed the trusted methods group, working with Collins product groups and government research sponsors to pioneer rigorous development methods and apply them to computer-based products. He served as a company subject matter expert on formal verification, and he led the machine-checked verification of a separation kernel in the AAMP7 microprocessor’s firmware and the development of the Turnstile high-assurance network guard. Earlier in his career, Wilding founded and led a digital vision research group, researched how to use automated theorem provers to establish hardware and software correctness, and worked as a software engineer.
Wilding holds a doctorate in computer sciences from the University of Texas at Austin and a Bachelor of Science in computer science from Virginia Tech.