Done

On Thursday, April 30th I successfully defended my thesis on “Agents that Play by the Rules” and was awarded the title of PhD.1 It was 4,5 years of work,2 and the last week was definitely the most stressful and exhausting one I had in my entire life, but now I'm done. There's no more school to go to, no more exams and no more courses to take.3 The overwhelming feeling of completion is a very pleasant one.

On Haskell

Although I've always wanted to become a professional programmer, I never became one. I studied philosophy and went into a PhD programme in computer science because of my interest in formal logic. I like computers very much, I have professional experience in UNIX administration, and I've done a lot of Perl/Bash/Tcsh scripting, but I've never actually written any non-trivial piece of programming code. Whether you want to model something, verify, or check your proofs, being able to write a computer program that helps you with some task really comes in handy.