In the late 1960s, after writing a thesis that applied AI to chess and earning her PhD in computer science at Stanford, Barbara Liskov returned to Mitre Corporation. Within a few years, she found herself doing research related to the “software crisis.” She describes how, while working on her Venus operating system, she was able to divide a computer program into smaller, discrete units. That very practical solution became a fundamental concept that guides how computer programs are built. She explains how accepting a faculty position at MIT then allowed her to fully devote herself to the problem of programming methodology.

Video clips from: Finding the Great Problems [Entire Talk]

2 minutes

Thinking Without Thinking

Watch now

7 minutes

Solving the Software Crisis

Watch now

4 minutes

The Future of Computing

Watch now

2 minutes

How to Find the Great Problems

Watch now

5 minutes

Discovering Computer Science

Watch now

Share Post