« July 2018 »
July
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Uni-Logo
You are here: Home Team Jan Leike
Document Actions

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

Theses

Tools

Personal tools