|
I'm a researcher at the
Institute of Computer Science of the Czech Academy of Sciences and principal investigator
of the Czech Science Foundation Junior Star project INTERACT. I also sometimes teach at Charles University.
My work focuses on reasoning, broadly construed but most typically centering on mathematical, philosophical, and computational logic. I also work in adjacent areas of algebra. Before coming to Prague, I was a postdoc at the Mathematical Institute of the University of Bern and at CNRS and Université Côte d'Azur. I completed my PhD in November 2018 at the University of Denver. My thesis was entitled Categories of Residuated Lattices. |
News
- My paper "Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation" (with N. Galatos) has been published in the Annals of Pure and Applied Logic.
- My Czech Science Foundation Junior Star Project INTERACT is beginning in 2025. PhD and postdoctoral positions are available. Please contact me for more information.
- New preprint: "Amalgamation in Semilinear Residuated Lattices" (with S. Santschi). arXiv.
- My paper "Interpolation in Linear Logic and Related Systems" (with S. Santschi) has been published in ACM Transactions on Computational Logic.
- My paper "Interpolation in Hájek's Basic Logic" (with S. Santschi) is now available on the arXiv.
Past
- I organized RAMiCS 21 in Prague, 19-23 August 2024.
- I spoke at Trends in Linear Logic and Applications in Tallinn, Estonia. Slides
- I spoke at Topology, Algebra, and Categories in Logic 2024 in Barcelona. Slides on BL, Slides on modal logic
- I spoke at 2024 Cracow Logic Conference/Trends in Logic. Slides
- I spoke at Charles University's Logic Seminar. My slides are available here.
- I recently delivered the Graduate Colloquium at the University of Denver. Slides
- I recently visited Chapman University for April 2024 as part of the EU RISE project MOSAIC and delivered a talk at the GALAI seminar. Slides
- I've recently delivered the Mathematics Colloquium at the University of Bern. My slides are available here.
- My paper Transfer Theorems for Finitely Subdirectly Irreducible Algebras (with George Metcalfe) has appeared in the Journal of Algebra.
- My paper "Interpolation and the Exchange Rule" (with George Metcalfe and Simon Santschi) is now available on the arXiv.
- I recently spoke at MOSAIC 2023 in Vienna, Austria. You can find the slides from my talk here.
- My paper "Interpolation in Linear Logic and Related Systems" (with Simon Santschi) is now available on the arXiv.
- I was invited speaker at CLoCk 2023 in Cracow, Poland. You can find the slides from my talk here.
- I spoke at RAMiCS 2023 in Augsburg, Germany. You can find the slides from my talk here.
- Together with Willem Conradie, I coordinated the CIMPA supported research school LIACT in Johannesburg, South Africa.