Ph.D. student in Software Engineering at Technical University of Munich. My research interests are fuzzing, symbolic execution and compositional analysis of large-scale software using smart combinations of both. Some of my publications are listed here. Three of my popular testing-related repositories are at
I'm interested in artificial intelligence, empirical software engineering, open-access publishing and the intersection of technology+journalism. I like kickboxing, bouldering, fruit cakes, films, hip-hop and books.