Area of research
Computational Theory and Mathematics · Geometry and Topology
Research interest
Research interests include Computability, Logic, AI Algorithms, semigroups and automata theory, Advanced Topology and Set Theory, and Porphyrin and Phthalocyanine Chemistry.
The complexity of computable categoricity
Boolean algebra approximations
A fixed point for the jump operator on structures
Isomorphism relations on computable structures
A computability theoretic equivalent to Vaught’s conjecture
Rice sequences of relations