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.
- MathOverflow 4.9k 4.9k 11 gold badge1616 silver badges4343 bronze badges
- Mathematics 544 544 22 silver badges1515 bronze badges
- TeX - LaTeX 257 257 22 silver badges99 bronze badges
- Theoretical Computer Science 256 256 22 silver badges55 bronze badges
- Stack Overflow 151 151 11 silver badge44 bronze badges
- View network profile
Top network posts
- 42 The most outrageous (or ridiculous) conjectures in mathematics
- 41 Two (probably) equal real numbers which are not proved to be equal?
- 31 Is the area of the Mandelbrot provably computable?
- 24 Can a group be a universal Turing machine?
- 21 Prospects for reverse mathematics in Homotopy Type Theory
- 17 What proofs cannot be relativized
- 15 Does $\pi$ satisfy the law of the iterated logarithm?
- View more network posts →