Kelly J. Hayhurst
Safety-Critical Avionics Systems Branch

Kelly is a research scientist working in the area of design correctness and certification. Other areas of interest include reliability analysis, operations research, and experiment design. Kelly received her B.A. degree in mathematics from Virginia Tech in 1985 and an M.A. degree in mathematics/operations research from the College of William and Mary in 1989. She started her career at NASA Langley in 1982 as a cooperative education student.

Since 1988, her research work has focused primarily on issues involving the development of software in compliance with regulatory standards used by the aviation community -- namely, RTCA/DO-178B Software Considerations in Airborne Systems and Equipment Certification.