« April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
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