Biography:Susan Gerhart

From HandWiki
Short description: American computer scientist
Susan Gerhart
Alma materOhio Wesleyan University, University of Michigan, Carnegie Mellon University
Scientific career
FieldsComputer science
InstitutionsDuke University, Wang Institute of Graduate Studies, and Embry-Riddle Aeronautical University
ThesisVerification of APL Programs (1972)
Doctoral advisorDonald W. Loveland

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][4] She credited Sputnik with having inspired her to study science.[5]

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.[6][7] This project produced several papers and modules, including one on buffer overflow vulnerabilities.

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

Systers

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

Macular Degeneration Advocacy

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

References

  1. ↑ 1.0 1.1 "Susan Gerhart Bio". Archived from the original on 8 April 2009. https://web.archive.org/web/20090408125524/http://apodder.org/SLGer/slg-bio.html. Retrieved 10 April 2018. 
  2. ↑ "Susan Gerhart Professional Activities". Archived from the original on 20 October 2008. https://web.archive.org/web/20081020022237/http://www.apodder.org/SLGer/slg-reference.html. Retrieved 10 April 2018. 
  3. ↑ "Susan Gerhart - The Mathematics Genealogy Project". https://www.genealogy.math.ndsu.nodak.edu/id.php?id=59141. 
  4. ↑ "CURRICULUM VITAE". http://www.cs.duke.edu/~dwl/CV/. Retrieved 10 April 2018. 
  5. ↑ CEOHP (14 May 2010). "Susan Gerhart: Sputnik launched my career". YouTube. https://www.youtube.com/watch?v=afpMLOzzcfg. Retrieved 10 April 2018. 
  6. ↑ "NSF Security Grant: Project Information". Archived from the original on 3 August 2012. https://web.archive.org/web/20120803014014/http://nsfsecurity.pr.erau.edu/. Retrieved 10 April 2018. 
  7. ↑ "NSF Award Search: Award#0113627 - Increasing Security Expertise in Aviation-Oriented Computing Education: A Modular Approach". https://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0113627. Retrieved 10 April 2018. 
  8. ↑ Goodenough, John B.; Gerhart, Susan L.; Goodenough, John B.; Gerhart, Susan L. (1 April 1975). "Toward a theory of test data selection, Toward a theory of test data selection". ACM SIGPLAN Notices 10 (6): 493, 493–510, 510. doi:10.1145/800027.808473. http://dl.acm.org/citation.cfm?id=800027.808473,%20http://dl.acm.org/citation.cfm?id=390016.808473. Retrieved 10 April 2018. 
  9. ↑ "An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies". Archived from the original on 2016-03-03. https://web.archive.org/web/20160303215639/http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA272179. Retrieved 2012-09-29. 
  10. ↑ Gerhart, Susan (5 January 2004). "Do Web search engines suppress controversy?". First Monday 9 (1). doi:10.5210/fm.v9i1.1111. http://firstmonday.org/ojs/index.php/fm/article/view/1111. Retrieved 10 April 2018. 
  11. ↑ "Founding Systers". http://anitaborg.org/initiatives/systers/founding-systers/. Retrieved 10 April 2018. 
  12. ↑ "Anita Borg Interview". http://womenincomputing.net/RecodingGender/anita-borg-1/. Retrieved 10 April 2018. 
  13. ↑ "Susan Gerhart - As Your World Changes". 29 July 2013. Archived from the original on 29 July 2013. https://web.archive.org/web/20130729203856/http://itc.conversationsnetwork.org/shows/detail3715.html. Retrieved 10 April 2018. 
  14. ↑ Pwatkins1 (24 March 2009). "Life in Libraryland: Another techie pioneer: Susan Gerhart on Ada Lovelace Day". http://lifeinlibraryland.blogspot.com/2009/03/another-techie-pioneer-susan-gerhart-on.html. Retrieved 10 April 2018. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Susan_Gerhart&oldid=3410218"