Hi! I'm a PhD student and research assistant in computer science at LMU Munich, Germany. I research cooperative verification: finding ways to make existing techniques and tools for software verification work together nicely.