Former mathematician who transitioned to data science. I have plenty of experience with Python and functional programming, and I have a lot of interest in Bayesian statistics, data science, and deep learning.

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.