About me

photo: Archive FF MU

I am a postdoctoral researcher trained in philosophy and logic. Currently, I work mainly on 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) and with the Faculty of Arts, Masaryk University (Department of Philosophy).

I am also the editor-in-chief of the Teorie vedy / Theory of Science journal and I take care of the Open Journal Systems at the Centre for Information Technologies (Faculty of Arts, Masaryk University). Aside from that I am interested in digital academic publishing and occasionally I make posters, flyers and banners for various events, talks, conferences, theatre plays and similar.


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