Wkrótce zdecydowała się powrócić do studiowania i ponownie wzięła udział w rekrutacji na Berkeley, a także na Stanford i Harvard. W 1968 po ukończeniu Uniwersytetu Stanford została jedną z pierwszych kobiet w Stanach Zjednoczonych z doktoratem z informatyki. Na Stanfordzie pracowała z Johnem McCarthym nad sztuczną inteligencją. Tematem jej pracy doktorskiej był program komputerowy symulujący gry końcowe w szachach.

Kariera zawodowa Po ukończeniu studiów, Liskov wróciła do Mitre jako pracownik badawczy. W Mitre prowadziła wiele znaczących projektów, takich jak system operacyjny Venus, mały, tani system operacyjny pozwalający na jednoczesne użytkowanie przez wielu użytkowników; zaprojektowanie i implementacja języka CLU; Argus, pierwszy język wysokiego poziomu, który wspierał implementację programów rozproszonych i zademonstrował technikę obietnic;