On November 11th I passed my thesis defense in Montreal. Thanks a lot to everybody who congratulated me already! The event was fun, actually. I received many questions by my committee but fortunately I was able to answer all of them.
Here are two photos of the event.
Lots of people commented on my slides and so I thought that I should put them online. Here is an extended version of the talk, which I presented in Darmstadt. Available for Keynote (25 MB) and as PDF (93 MB – yes I do like using lots of pictures). The slides give information about both the Clara framework and the Nop-Shadows Analysis.