About me

I am a researcher interested in philosophy and logic. Currently, I work mainly on philosophical aspects of type theories (esp. Martin-Löf's constructive type theory and Tichý's partial type theory) and general proof theory (esp. proof-theoretic semantics) and their applications to natural language.

I am affiliated with the Institute of Philosophy of the Czech Academy of Sciences (The Centre for Science, Technology, and Society Studies).

I am the editor-in-chief of the Teorie vedy / Theory of Science journal. Occasionally I also enjoy connecting logic, philosophy and video games (see, e.g., the game Truth Finder: A Quest of Logic).