|
I'm a researcher and educator working at the intersection of logic,
mathematics, and computer science.
Since July 2023, I've been a researcher at the Institute of Computer Science of the Czech Academy of Sciences, where I'm a member of LogiCS group. Before coming to Prague, I was an advanced postdoctoral fellow at the Mathematical Institute of the University of Bern in the logic group of Prof. George Metcalfe, and a postdoctoral scholar at CNRS and Université Côte d'Azur as part of Prof. Mai Gehrke's European Research Council project Duality in Formal Languages and Logic. I completed my PhD in November 2018 at the University of Denver, where Prof. Nick Galatos was my advisor. |
News
- 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.
Past
- My papers with Nick Galatos on conic idempotent residuated lattices are now available on the arXiv.
- I recently attended and spoke at Advances in Modal Logic 2022 in Rennes, France. You can find the slides from my talk here.
- I recently attended the Federated Logic Conference 2022 in Haifa, Israel, and spoke at Fourth Workshop on Interpolation. You can find my slides here.
- I was a plenary speaker at BLAST 2022 in Orange, California, USA. My slides are available here.