« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
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