Featured initiative ·
I am co-organizing the Clarification Challenge (as part of ICSE 2027 Competition Track), which examines how AI coding assistants can recognize ambiguous requirements and ask useful clarifying questions before generating code.
I am a computer scientist and Walter Benjamin Fellow at Humboldt-Universität zu Berlin. My research focuses on AI-assisted software verification and debugging, building on my background in software engineering, software verification, and machine learning.
Previously, I was a postdoctoral researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, working with Mike Papadakis. I received my PhD in computer science from the University of Oldenburg.
In my current project, SDECOPILOT: Assisting Developers in Building Correct Software with Debugging Agents, I investigate how AI-generated hypotheses about intended program behavior can be examined using testing, program analysis, and formal verification to discover bugs and support repair.
I have started my position at Humboldt-Universität zu Berlin, funded through the DFG Walter Benjamin Programme, working on SDECOPILOT: Assisting Developers in Building Correct Software with Debugging Agents.
I will serve on the research-track program committee for FSE 2027.
My PhD thesis, Neural Bug Detection, has been shortlisted for the dissertation prize of GI’s Software Engineering division (SWT). I will present it at SE 2026 in Bern.
I will serve on the research-track program committee for ASE 2026.