About me

photo: Archive FF MU

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 talking about philosophy and video games, making philosophical cartoons (in Czech) or doing graphic design for various events and projects.


✉ contact: moc.liamg[ta]ralzep.ovi