research

My academic CV is available here.

Interests

My main research interests lie somewhere in the intersection of mathematics, logic, and theoretical computer science. 

Other topics that I'm interested in, but have never studied in-depth, include the following.

Current research

My current research is an extension of my MSc Logic thesis (details in the education page). I continue to study the temporal Heyting calculus via algebraic, topological, and frame-theoretic methods.

Past research

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.