Research Interests
(Theoretical) Quantum Computing
(Applied) Category Theory
(Quantum) Complexity Theory
(Acosmic) Solipsism (Does this interest you also?)
(Categorical) Universal Algebra
(Categorical) Logic
Main Home Page