I'm a PhD student working to improve the scientific process through research in...
- Statistics and ML
- Software systems
- Applied category theory
From the blog
Classic style and mathematical writing (9/5/2019)
Classic style is an elegant mode of expression that values clarity and avoids self-consciousness. It shares an intriguing connection with the style of mathematical writing. Read more
The algebra and machine representation of statistical models, 2020. Evan Patterson.
In my PhD thesis, I draw a precise analogy between models in logic and statistics, enabling statistical models to be seen as models of theories, in the logical sense. This is accomplished using tools from algebra, particularly categorical logic. I develop the algebra of statistical theories and models and present a wide range of examples. In addition, I recapitulate and extend previous on the semantic modeling of data science code. Read more