Alwyn Goodloe is a Research Computer Engineer at NASA’s Langley Research Center working in the formal methods group of the Safety Critical Avionics Branch. His work at NASA focuses on assurance of flight-critical systems ranging from air traffic management algorithm to fault-tolerant avionics. He has a Ph.D. in Computer and Information Science from the University of Pennsylvania performed under the direction of Professor Carl A. Gunter, where he focused on formal foundations of network security. He was employed as a staff scientist at the National Institute of Aerospace for three years before joining NASA. Prior to going back to school to obtain his PhD at Penn, he worked for fourteen years in the software industry as a software engineer and IT consultant to various US government agencies.