Susan Gerhart

Susan Gerhart is a semi-retired computer scientist. She received her BA in mathematics from Ohio Wesleyan University, her MS in communication sciences from the University of Michigan and her PhD in computer science from Carnegie Mellon University, completing her thesis Verification of APL Programs in 1972 under Donald W. Loveland, and she credited Sputnik with having inspired her to study science. She has taught software engineering and computer science at Toronto, Duke University, the Wang Institute of Graduate Studies and Embry-Riddle Aeronautical University, and established a project to develop curricula to increase security in aviation-oriented computing education. In 1987 she was one of the founding members of Systers, the oldest and largest mailing list for women in computing. Her publications include Toward a theory of test data selection and An International Survey of Industrial Applications of Formal Methods, and she maintains a blog on using technology to overcome vision loss.