Jennifer A. Davis

JDavis_Professional-142x200Dr. Jen Davis is a Principal Applied Mathematician in the Rockwell Collins Advanced Technology Center. She has served as the Rockwell Collins Principal Investigator for multiple AFRL programs in the area of formal methods. Dr. Davis has experience applying the SpeAR tool to document and analyze the formal requirements for a new architecture. She used AADL with AGREE to formalize an instantiation of the simplex architecture together with its requirements. Dr. Davis has experience with state of the art theorem proving tools. She jointly developed a translator from LLVM to ACL2 to enable verification of system properties. She used PVS to complete correctness proofs for the DO-333 theorem proving case study. Dr. Davis earned her Ph.D. in Mathematics at the University of Nebraska at Lincoln in 2007.