Position

Researcher at the Department of Theoretical Computer Science, Institute of Computer Science, Academy of Sciences of the Czech Republic.

Current research interests

Non-classical logics.

Life and works

Informal CV : downloadable preprints : list of publications

Links of interest to logicians

The Association for Symbolic Logic.
The Complexity Zoo.

updated Mar 14 2005 : comments to zh