Research interests: Computability theory, effective algebra, distributive lattices.
My research is in effective algebra, a subfield of mathematical logic. In particular, I study the computability of Heyting algebras and (pseudocomplemented) distributive lattices. For a general overview of 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 Heyting algebras and (pseudocomplemented) distributive lattices. For a general overview of intuitionistic logic and Heyting algebras, see the slides from my oral exam [PDF].
I'm also a member of the UConn Logic Group.