"List of women in Computer Science" article likely out of date.
Due to the Geek Feminism Wiki being in archival mode, this article is likely out of date, reflecting the state of the world circa 2009–2013.
A more up to date source may be found at Wikipedia:Category:Women computer scientists.
You may also use this content elsewhere, see Wikia:Licensing for details of the license.See also List of women in software engineering for women whose work is in development rather than research.
Well-known women in computer science[]
- Fran Allen, pioneer in compilers, winner of the 2006 Turing Award
- Elisa Bertino, widely cited database and security researcher
- Anita Borg
- Deborah Estrin, networking researcher, one of the most widely cited computer scientists with an h-index of nearly 100 (an h-index is the highest h such that the researcher has published h papers each with h citations)
- Sally Floyd, widely cited networking researcher, developer of key TCP specifications
- Adele Goldberg, co-developed Smalltalk language
- Shafi Goldwasser, theoretical computer scientist and 2012 Turing Award winner
- Margaret Hamilton coined the term "software engineering" and was the lead flight software developer for the Apollo 11 moon landing. [1]
- Grace Hopper
- Sara Kiesler, widely cited human-computer interactions researcher
- Daphne Koller, widely cited artificial intelligence researcher
- Barbara Liskov, programming languages researcher and 2008 Turing Award winner
- Ada Lovelace, worked on first computer, invented/discovered recursion in computer programming
- Mary Kenneth Keller, believed to be the first female PhD in computer science
- Radia Perlman, invented Spanning Tree Protocol
- Karen Spärck Jones, computational linguistics and information retrieval pioneer
- Lixia Zhang, widely cited networking researcher
Other women in computer science[]
- Amal Ahmed, programming languages and type systems researcher
- Jade Alglave, programming languages, logic, and verification researcher
- Tamara Berg, computer vision researcher, won 2013 Marr Prize in Vision
- Fran Bilas, programmer of ENIAC
- Sharla P. Boehm, did foundational work showing the feasibility of the technical basis of the Internet
- Kathleen Booth, developed the first assembly language (ARC)
- Cynthia Breazeal, researcher in the areas of robotics and artificial intelligence
- Amy Bruckman, best known for her pioneering research in the fields of online communities and the learning sciences
- Cristina Cifuentes, researcher in the areas of compilation, decompilation, and binary translation
- Lynn Conway, electrical engineer and computer architect
- Véronique Cortier, researcher in the area of verification of security protocols
- Radhia Cousot, programming languages and program analysis researcher
- Lois Delcambre, database researcher
- Jeri Ellsworth, hardware hacker, creator of the C64 Direct-to-TV
- Mary Fernández, database and programming languages researcher
- Kathleen Fisher, programming languages and data management researcher
- Judy Goldsmith, AI, theoretical computer science, and computational decision making
- Susan Graham, researcher in the areas of compilers and programming languages
- Lois Haibt, contributed to the design and implementation of FORTRAN; responsible for flow analysis and optimization
- Cordelia Hall, programming languages and music information retrieval researcher
- Mary Hall, high-performance computing researcher
- Mor Harchol-Balter , distributed systems researcher
- Mary Lou Jepsen, display devices and hardware expert, founder of One Laptop Per Child
- Patricia Johann, programming language theorist
- Leslie Pack Kaelbling, artificial intelligence researcher
- Karen Karavanic, high-performance computing researcher
- Susan Kare, UI expert, worked on original Macintosh interface
- Gabriele Keller, programming languages and parallel computing researcher
- Janet Kolodner, best known for pioneering research on case-based reasoning
- Monica Lam, compilers and mobile computing researcher
- Ming C. Lin, researcher in the areas of collision detection, physical simulation, and sound simulation
- Yanhong Annie Liu, programming languages and compilers researcher
- Nancy Lynch, theoretical computer scientist and distributed systems researcher
- Pattie Maes, researcher in the areas of software agents and fluid interfaces
- Jennifer Mankoff, human-computer interaction researcher
- Brandeis H. Marshall, data integration and knowledge management researcher
- Maja J. Matarić, roboticist
- Kathryn McKinley, programming languages researcher
- Kay McNulty, programmer of ENIAC
- Terri Oda, evolutionary algorithms, AI and security researcher
- Catuscia Palamidessi, researcher in programming languages, concurrency, distributed systems, and formal methods
- Brigitte Pientka, researcher in the areas of programming languages, logics, and verification
- Diane Pozafsky, known for her work on serious games, cheminformatics, virtualization, and web programming
- Barbara Ryder, program analysis researcher
- Jean E. Sammet, developer of the FORMAC programming language
- Mary Sheeran, researcher in the areas of programming languages and hardware description languages
- Alexandra Silva, theoretical computer scientist
- Ellen Spertus, information retrieval researcher
- Betty Snyder, programmer of ENIAC
- Ana Sokolova, formal methods and concurrency researcher
- Lynn Andrea Stein, artificial intelligence researcher
- Alley Stoughton, researcher in the areas of logic and programming languages
- Cynthia Sturton, computer security and formal verification researcher
- Eva Tardos, algorithms researcher
- Xiaoyuan Tu, artificial intelligence researcher
- Hanna Wallach, machine learning researcher
- Gloria Washington, human-centered computing researcher
- Stephanie Weirich, programming languages researcher
- Marlyn Wescoff, programmer of ENIAC
- Jennifer Widom, database researcher
- Jeannette M. Wing, security and programming languages researcher
- Wang Xiaoyun, cryptographer
- Kathy Yelick, parallel computing researcher
- Shaula Yemini, programming languages and distributed systems researcher
- Greta Yorsh, researcher in program analysis and programming languages
- Anna Zamansky researcher in logic and formal methods in software engineering
See also List of women tech book writers