Jump to content

Susan Gerhart

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KasparBot (talk | contribs) at 14:48, 27 May 2016 (migrating Persondata to Wikidata, please help, see challenges for this article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Susan Gerhart is a semi-retired computer scientist.[1]

Education

Susan Gerhart received her BA in Mathematics from Ohio Wesleyan University, her MS in Communication Sciences from University of Michigan, and her PhD in Computer Science from Carnegie Mellon University.[2] She completed her thesis "Verification of APL Programs" in 1972 under thesis advisor Donald W. Loveland.[3] She credited Sputnik with having inspired her to study science.[4]

Career

Teaching

She has taught software engineering and computer science at Toronto, Duke University, Wang Institute of Graduate Studies, and Embry-Riddle Aeronautical University.[1]

She established a project to develop curricula to increase security in aviation-oriented computing education.[5][6] This project produced several papers and modules, including one on buffer overflow vulnerabilities.

Her other publications include "Toward a theory of test data selection",[7] "An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies",[8] and "Do Web search engines suppress controversy?".[9]

Systers

In 1987 Gerhart was one of the founding members of Systers, the oldest and largest mailing list for women in computing.[10][11]

Macular Degeneration Advocacy

Having been personally impacted by macular degeneration,[12] 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".[13]

References

  1. ^ a b Susan Gerhart Bio
  2. ^ Susan Gerhart Professional Activities
  3. ^ Donald W. Loveland CV
  4. ^ [ www.youtube.com/watch?v=afpMLOzzcfg]
  5. ^ NSF Security Grant: Project Information
  6. ^ NSF Award #0113627
  7. ^ ACM citation: Toward a theory of test data selection
  8. ^ DTIC citation: An International Survey of Industrial Applications of Formal Methods
  9. ^ First Monday: Do Web search engines suppress controversy?
  10. ^ Founding Systers
  11. ^ Anita Borg Interview
  12. ^ John Udell's Interview with Innovators podcast with Susan Gerhart
  13. ^ Life in Libraryland: Susan Gerhart on Ada Lovelace Day
Retrieved from "https://en.wikipedia.org/w/index.php?title=Susan_Gerhart&oldid=722350884"