« October 2020 »
October
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
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