For my current website, [click here].

My research is in computability theory and its applications. I quantify the computational content of mathematical objects, constructions, and principles. My work has been particularly connected with the theory of algorithmic randomness, the enumeration degrees, effective symbolic dynamics, and computable analysis.