I am a postdoctoral researcher at the Research Group 1 of the Max Planck Institute for Informatics in Saarbrücken. Before that, I have been a research and teaching assistant at Lehr- und Forschungsgebiet Informatik 2 at RWTH Aachen where I successfully defended my PhD thesis in December 2018. I am actively contributing to several software projects:
- I am one of the main developers of the Automated Program Verification Environment (AProVE) tool.
- The techniques presented in our paper "Lower Runtime Bounds for Integer Programs" are implemented in the freely available Lower Bounds Analysis Tool (LoAT).
- I contributed to CAGE, a toolchain which uses AProVE and LoAT to find and prove the absence of denial of service attacks in Java programs. CAGE is joint work of Draper, the University of Innsbruck, and our research group and was developed within the DARPA STAC program.
My fields of interest include (but are not limited to):
- automated termination and complexity analysis of
- heap-manipulating imperative programs with a focus on Java Bytecode
- term rewriting systems
- integer programs
- abstract interpretation and symbolic evaluation
- program verification