I am a postdoctoral researcher within the Department of Logic at the Institute of Philosophy of the Czech Academy of Science. In future, I will be a Marie Curie Fellow in the Department of Mathematics at the University of Bristol. Until recently I was a PhD candidate at the University of California, Irvine, studying in the Department of Logic and Philosophy of Science. My dissertation was completed under the supervision of Kai Wehmeier and Sean Walsh.
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.