I am a postdoctoral researcher within the Department of Logic at the Institute of Philosophy of the Czech Academy of Science and a PhD candidate at the University of California, Irvine, studying in the Department of Logic and Philosophy of Science (I will defend in January 2021).
I work on logic, its philosophy, and the philosophy of mathematics and language. During my post-doc, I will be working on a project on proof-theoretic semantics for mathematical theories in a typed setting. My dissertation examined logics that are proof-theoretically valid and I showed that they determined the same logic as certain kinds of inquisitive logic.
I am also interested in formal semantics, particularly the prospects for formal semantics that is based on an inferentialist, as opposed to referential, picture of meaning. I have further work on neologicism and the nature of proof.