Jan Leike
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.
Research Interests
Computational algebra, mathematical logic, automata theory, termination, invariant generation
Publications
- 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.
Theses
- Ranking Function Synthesis for Linear Lasso Programs. Master's Thesis. University of Freiburg, 2013.
- VPL Intersection Emptiness. Bachelor's Thesis. University of Freiburg, 2010.
Tools
- Lasso Ranker, together with Matthias Heizmann.