Karen Smith
Karen Smith väitteli Michiganin yliopistossa tohtoriksi 1993. Hänen väitöskirjansa ("Tight Closure of Parameter Ideals and F-Rationality") käsittelee kommutatiivisen eli vaihdannaisen algebran teemoja. Hän esittelee siinä niin kutsutun tiukan sulkeuman periaatetta ja sen soveltamista parametrisiin ideaaleihin ja F-rationaliteettiin. Tiukan sulkeuman käsitteen keksivät aikanaan matemaatikot Melvin Hochster ja Craig Huneke.
Barbara Liskov
Liskov väitteli tohtoriksi Stanfordin yliopistosta vuonna 1968. Hänen väitöskirjansa aihe käsitteli shakin loppupelejä ja sen ohjasi John McCarthy. Liskov oli yksi ensimmäisistä naisista Yhdysvalloissa, jolle myönnettiin tohtorin tutkinto tietojenkäsittelytieteestä. Tohtorin-tutkinnon saatuaan hän jatkoi työskentelyä Mitressä, jossa hän kehitti Venus-tietokonejärjestelmän.