As of 2014, I have moved to the Australian National University for my PhD.
This page is no longer maintained. Please visit my new page.
Computational algebra, mathematical logic, automata theory, termination, invariant generation
- Ranking Templates for Linear Loops, in TACAS 2014, together with Matthias Heizmann.
- Synthesis for Polynomial Lasso Programs, in VMCAI 2014, together with Ashish Tiwari. Source code to the experiments
- Linear Ranking for Linear Lasso Programs, in ATVA 2013, together with Matthias Heizmann, Jochen Hoenicke, and Andreas Podelski.
- Ranking Function Synthesis for Linear Lasso Programs. Master's Thesis. University of Freiburg, 2013.
- VPL Intersection Emptiness. Bachelor's Thesis. University of Freiburg, 2010.
- Lasso Ranker, together with Matthias Heizmann.