Cool side note, introducing Prof. Dijkstra was a younger Eric Schmidt during his tenure as a software engineering manager at Sun. I wonder where all of the other lectures are? Somebody should repost them.