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

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.

Links

https://users.cecs.anu.edu.au/~leike/

http://www.informatik.uni-freiburg.de/~leike/Ranking%20Templates%20for%20Linear%20Loops%20-%20Leike,%20Heizmann.pdf

http://www.etaps.org/2014/tacas

http://www.informatik.uni-freiburg.de/~leike/Synthesis%20for%20Polynomial%20Lasso%20Programs%20-%20Leike,%20Tiwari.pdf

http://vmcai2014.di.ens.fr/

http://www.informatik.uni-freiburg.de/~leike/Synthesis%20for%20Polynomial%20Lasso%20Programs%20source.zip

http://www.informatik.uni-freiburg.de/~leike/Linear%20Ranking%20for%20Linear%20Lasso%20Programs%20-%20Heizmann,%20Hoenicke,%20Leike,%20Podelski.pdf

http://www.uet.vnu.edu.vn/atva2013/

http://www.informatik.uni-freiburg.de/~leike/Ranking%20Function%20Synthesis%20for%20Linear%20Lasso%20Programs%20-%20Leike.pdf

http://www.informatik.uni-freiburg.de/~leike/VPL%20Intersection%20Emptiness%20-%20Leike.pdf

http://ultimate.informatik.uni-freiburg.de/LassoRanker/