I have been a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2 since August 2013. I am one of the main developers of the Automated Program Verification Environment (AProVE) tool. Moreover, the techniques presented in our paper "Lower Runtime Bounds for Integer Programs" are implemented in the freely available Lower bounds Analysis Tool (LoAT). 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
For a rough overview of my research, have a look at this poster.