|
I'm a researcher and educator working at the intersection of logic,
mathematics, and computer science.
Since September 2021, I've been a postdoctoral scholar at the Mathematical Institute of the University of Bern, where I'm a member of Logic Group led by Prof. George Metcalfe. Before coming to Switzerland, I completed my PhD in November 2018 at the University of Denver, where Prof. Nick Galatos was my advisor. From January 2019 to September 2021, I was a postdoc 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. |
News
- My paper with Nick Galatos on conic idempotent residuated lattices is 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.