Enjoying computer science and cheese. Working as a PhD student in the field of automated software verification. See my university web page or my super-rarely updated blog.