Dr. Jennifer (Jen) Davis is an Associate Director in the Applied Research & Technology (ART) organization at Collins Aerospace. Most recently, Dr. Davis led the Trusted Methods Team at Collins, which specializes in formal methods techniques and tools, together with their applications in the aerospace and defense industry. Dr. Davis has served as the Collins Aerospace Principal Investigator (PI) for several government-sponsored research programs on developing and applying high-assurance approaches to the verification and validation of autonomous systems. In particular, she served as PI for the NASA-sponsored Assured Human Machine Interface for Increasingly Autonomous Systems (AHMIIAS) project, which developed a framework for assuring Increasingly Autonomous Systems in human-machine teams. Dr. Davis earned her Ph.D. in Mathematics at the University of Nebraska at Lincoln. She joined Collins Aerospace (formerly Rockwell Collins) in 2007.