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 postdoctoral researcher (DFG Walter Benjamin Programme) 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.
I investigate how machine learning can learn from developer mistakes to detect software bugs, and how different verification techniques can be combined to reason about program correctness. My work connects neural bug detection, cooperative software verification, and learning-based methods for verification.
Previously, I was a postdoctoral researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg. I received my PhD in computer science from the University of Oldenburg in 2025, with a thesis on Neural Bug Detection.
I have started a postdoctoral position at Humboldt-Universität zu Berlin, working with Lars Grunske, supported by the DFG Walter Benjamin Programme through SDECOPILOT.
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.