Research interests
logic and foundations of mathematics, computability, computable structure theory, ordered structures, computable combinatorics, and reverse math
algorithmic learning theory, computational complexity, dynamics, chaos, quantum computing, emergence, neuroscience & the brain, AI, everything else that is cool