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 also interested in syntax and its impact on our reasoning.

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 managing editor 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.

E-mail: moc.liamg[ta]ralzep.ovi


2018 September
My paper on two notions of computation in TIL was published in Axiomathes.

2018 June
My paper on proof-theoretic semantics and hyperintensionality was published in Logique et Analyse.

2018 January
My review of Materna's book Talks about Concept (in Czech) was published in Teorie vědy / Theory of Science.

2017 April
My paper on algorithmic theories of problems was published in Logic and Logical Philosophy.

2017 January
I have joined the project A Logico-Philosophical Investigation of Identity led by Ansten Klev and funded by the Czech Science Foundation (GA CR).

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