« April 2017 »
April
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
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