I am currently a postdoctoral researcher at CNRS, Laboratoire J.A. Dieudonné, and Université Côte d'Azur as part of the DuaLL project. Before coming to Nice, I received my Ph.D. in mathematics from the University of Denver. My thesis is available at the following: Categories of Residuated Lattices.
Most of my research focuses on so-called nonclassical logics, which comprise mathematical models of reasoning that deviate in some respect from the classical logic developed starting around 1850. Nonclassical logics are motivated from such diverse areas as computer science, linguistics, philosophy, and constructive mathematics. A lot of my work centers on understanding nonclassical logics via their algebraic semantics, i.e., classes of universal algebraic systems that capture the most significant features of a given logic. I especially study algebraic semantics via associated topological dualities for the appropriate classes of algebras. A prototypical example of this phenomenon is Stone's celebrated duality between Boolean algebras and compact, zero-dimensional Hausdorff spaces.
Recent and upcoming events:
- Shanks Workshop on Ordered Algebras and Logic, Nashville, Tennessee, USA, 5-7 March 2020.
- Artificial Intelligence and Theorem Proving, Aussois, France, 23-27 March 2020.
- Colloque des Doctorants, Saint-Étienne-de-Tinée, France, 13-16 April 2020.
- Bern Logic Seminar, Bern, Switzerland, 24 April 2020.
- Sixth Meeting on Translating and Discovering Calculi for Modal and Related Logics, Marseille, France, 4-6 May 2020.
- 7th International Workshop on Topological Methods in Logic, Tbilisi, Georgia 21-25 September 2020.