About me
Darren Cofer is a Principal Fellow at Collins Aerospace. He earned his PhD in Electrical and Computer Engineering from The University of Texas at Austin. His area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-assurance systems. He is leading the Collins effort on the upcoming DARPA PROVERS program, which will integrate formally verified software (including seL4) into existing defense and aerospace development pipelines, making formal methods capabilities more accessible to non-experts.