Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

My previous academic interests were in Computability Theory and Proof Theory. More specifically, I was interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.