Ph.D. student in Software Engineering at Technical University of Munich. Focussing mainly on symbolic execution, smart compositional analysis and security testing. I love bouldering, fruit cakes, films, mainstream jazz and books. I'm interested in artificial intelligence, empirical software engineering, open-access publishing and the intersection of technology+journalism. I dislike winters, shaving, mushrooms and censorship very much.
Here is my CV.