Why I tattooed Gödel on my arm

This is what the tattoo on my arm looks like (well – looked like right after I got it. You can still see the skin being noticably red/pale around it). It’s been designed by my flatmate at the time, Gwen. Without the arm it looks like this: Probably still not too legible, so let’s get…


How to piss of the guitar-guy at the music shop (Also: how guitars work)

My baby I recently brought my baby to the hospital. And by baby, I mean favorite guitar. And by hospital, I mean music shop. The reason being that I wanted to tune down quite a lot and it needed to be readjusted. The guitar in question is an Ibanez Universe 7-String guitar, which I wanted…


What am I doing here? (My research topic)

Theory graph across formal libraries

In this post, I will try to explain what my Ph.D. is going to be about – of course, you can just read my proposal, but I assume that’s not really accessible to a lay-person. The broad topic is knowledge management across formal libraries, specifically libraries of formal mathematics obtained from (mostly) various computer-supported theorem…


How did I get here? (CV)

So, given that my CV is a bit more… non-linear than most people’s, I figured that might be worth a post on its own: I graduated (the german equivalent of) high school in Garmisch-Partenkirchen 2006, majoring in Math and English, at which point my plan was to study jazz guitar and make a living as…