Out of their Minds

In today's lecture I handed out an interesting chapter about Robert Tarjan, from this book about the lives and discoveries of great computer scientists. The chapter talks about Tarjan's research on designing data structures, a process we have been going through with our first project. Our approach to the formal analysis of algorithms also owes a lot to Tarjan. If you missed out on a copy of this handout you can collect it (and others) from the CSSE Helpdesk on Level 1.