Research interests: Mathematical logic, computability theory, effective algebra.
My research is in effective algebra, a subfield of mathematical logic. In particular, I study the computability of distributive lattices, pseudocomplemented lattices, and Heyting algebras. A more detailed description can be found in my research statement [PDF]. A quick overview can be found in my poster from the AWM Workshop at the 2010 Joint Mathematics meetings [PDF].
For an introduction to intuitionistic logic and Heyting algebras, see the slides from my oral exam [PDF].
I'm also a member of the UConn Logic Group.
My research is in effective algebra, a subfield of mathematical logic. In particular, I study the computability of distributive lattices, pseudocomplemented lattices, and Heyting algebras. A more detailed description can be found in my research statement [PDF]. A quick overview can be found in my poster from the AWM Workshop at the 2010 Joint Mathematics meetings [PDF].
For an introduction to intuitionistic logic and Heyting algebras, see the slides from my oral exam [PDF].
I'm also a member of the UConn Logic Group.