research
research
My academic CV is available here.
My main research interests lie somewhere in the intersection of mathematics, logic, and theoretical computer science.
Duality theory : Stone-like dualities for lattices, Heyting algebras, modal algebras, and related varieties
Modal and intuitionistic logic : temporal logics, modal companionships, Gödel translations, Blok-Esakia theorems
Algebraic logic : lattice theory, residuated lattices, universal algebra
Categorical methods in logic : topoi, sites, locales, point-free topology
Co-algebra : automata, transducers, co-induction
In 2019, I was awarded a UROP grant to work as a research assistant at the Linguistics Semantics Lab at Boston University. My work sought to use field theory to apply the algebra of dimensions (as in dimensional analysis in physics) to a formal semantics ontology with the goal of giving a compositional account for complex unit terms such as « twenty feet per second » . The work was presented at the 2020 NYU Philosophy of Language Workshop as the subject of an invited talk.