Lecture script online
This is Robert, your lecturer for the next three sessions. The new "Lecture scripts" category now contains the script for the lecture on Thursday. This part will be on formal verification, and, not very surprisingly, be quite formal. I recommend to print out the lecture script before the lecture, so you are able to make notes during the lecture. Also: ask questions. Your colleagues will thank you (not literally, but they will be happy you asked in their place).