Skip to main content

logic

2015


Done

On Thursday, April 30th I successfully defended my thesis on “Agents that Play by the Rules” and was awarded the title of PhD.

2010


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.