Teaching She has taught software engineering and computer science at Toronto,
Duke University,
Wang Institute of Graduate Studies, and
Embry-Riddle Aeronautical University. This project produced several papers and modules, including one on
buffer overflow vulnerabilities. Her other publications include "Toward a theory of test data selection", "An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies", and "Do Web search engines suppress controversy?".
Systers In 1987 Gerhart was one of the founding members of
Systers, the oldest and largest
mailing list for women in computing.
Macular Degeneration Advocacy Having been personally impacted by
macular degeneration, she maintains the "As Your World Changes" blog on using technology, including podcasts, to overcome vision loss. In 2009 she spoke at the
IEEE conference on Software Testing, Verification and Validation on "The Disability/Mobility Challenge: Formulating Criteria for Testing Accessibility and Usability". ==References==