 |
Susan Gerhart | |
|---|---|
| Alma mater | Ohio Wesleyan University, University of Michigan, Carnegie Mellon University |
| Scientific career | |
| Fields | Computer science |
| Institutions | Duke University, Wang Institute of Graduate Studies, and Embry-Riddle Aeronautical University |
| Thesis | Verification of APL Programs (1972) |
| Doctoral advisor | Donald W. Loveland |
Susan Gerhart is a semi-retired computer scientist. [1]
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]
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]
In 1987 Gerhart was one of the founding members of Systers, the oldest and largest mailing list for women in computing. [11] [12]
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]
Manuel Blum is a Venezuelan born American computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
Shafrira Goldwasser is an Israeli-American computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at Massachusetts Institute of Technology; a professor of mathematical sciences at the Weizmann Institute of Science, Israel; the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley; and co-founder and chief scientist of Duality Technologies.
Peter James Denning is an American computer scientist and writer. He is best known for pioneering work in virtual memory, especially for inventing the working-set model for program behavior, which addressed thrashing in operating systems and became the reference standard for all memory management policies. He is also known for his works on principles of operating systems, operational analysis of queueing network systems, design and implementation of CSNET, the ACM digital library, and codifying the great principles of computing. He has written numerous influential articles and books, including an overview of fundamental computer science principles, computational thinking, and his thoughts on innovation as a set of learnable practices.
Susan Lois Graham is an American computer scientist. Graham is the Pehong Chen Distinguished Professor Emerita in the Computer Science Division of the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.
Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University.
Amy Susan Bruckman is a professor at the Georgia Institute of Technology affiliated with the School of Interactive Computing and the GVU Center. She is best known for her pioneering research in the fields of online communities and the learning sciences. In 1999, she was selected as one of MIT Technology Review's TR100 awardees, honoring 100 remarkable innovators under the age of 35.
Annie Antón is an academic and researcher in the fields of computer science, mathematical logic, and bioinformatics.
Susan Landau is an American mathematician, engineer, cybersecurity policy expert, and Bridge Professor in Cybersecurity and Policy at the Fletcher School of Law and Diplomacy at Tufts University. She previously worked as a Senior Staff Privacy Analyst at Google. She was a Guggenheim Fellow and a visiting scholar at the Computer Science Department, Harvard University in 2012.
Cynthia Dwork is an American computer scientist best known for her contributions to cryptography, distributed computing, and algorithmic fairness. She is one of the inventors of differential privacy and proof-of-work.
Pavel Arkadevich Pevzner is the Ronald R. Taylor Professor of Computer Science and director of the NIH Center for Computational Mass Spectrometry at University of California, San Diego. He serves on the editorial board of PLoS Computational Biology and he is a member of the Genome Institute of Singapore scientific advisory board.
Systers, founded by Anita Borg, is an international electronic mailing list for technical women in computing. The Syster community strives to increase the number of women in computer science and improve work environments for women. The mailing list has operated since 1987, making it the oldest of its kind for women in computer science. It is likely the largest email community of women in computing. The name 'Systers' originated from the combination of the words systems and sisters.
Susan Owicki is a computer scientist, Association for Computing Machinery (ACM) Fellow, and one of the founding members of the Systers mailing list for women in computing. She changed careers in the early 2000s and became a licensed marriage and family therapist.
Liuba Shrira is a professor of computer science at Brandeis University, whose research interests primarily involve distributed systems.
Margaret Martonosi is an American computer scientist who is currently the Hugh Trumbull Adams '35 Professor of Computer Science at Princeton University. Martonosi is noted for her research in computer architecture and mobile computing with a particular focus on power-efficiency.
Stephanie Forrest is an American computer scientist and director of the Biodesign Center for Biocomputing, Security and Society at the Biodesign Institute at Arizona State University. She was previously Distinguished Professor of Computer Science at the University of New Mexico in Albuquerque. She is best known for her work in adaptive systems, including genetic algorithms, computational immunology, biological modeling, automated software repair, and computer security.
African-American women in computer science were among early pioneers in computing in the United States, and there are notable African-American women working in computer science.
Bhavani Thuraisingham is the Louis A. Beecherl, Jr. Distinguished Professor of computer science and the executive director of the Cyber Security Research and Education Institute at the University of Texas at Dallas. She is a visiting senior research fellow in the Department of Informatics at Kings College University of London and a 2017–2018 Cyber Security Policy Fellow at New America.
Valerie Barr is an American computer scientist, and is the Margaret Hamilton Distinguished Professor of Computer Science at Bard College. She formerly held the Jean Sammet endowed chair in the department of Computer Science at Mount Holyoke College in South Hadley, Massachusetts. She is known for her work with women in computing.
Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.
Maria-Florina (Nina) Balcan is a Romanian-American computer scientist whose research investigates machine learning, algorithmic game theory, theoretical computer science, including active learning, kernel methods, random-sampling mechanisms and envy-free pricing. She is an associate professor of computer science at Carnegie Mellon University.
{{cite web}}: CS1 maint: bot: original URL status unknown (link)