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

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


2019 January
I have joined the project Hyperintensional meaning, type theory and logical deduction funded by the Czech Science Foundation (GA CR).

2019 January
I am the new editor-in-chief of the Teorie vedy / Theory of Science journal.

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.

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