Home

I'm a first-year PhD student in the Mathematically Structured Programming Group at the University of Strathclyde, Glasgow, United Kingdom. I'm using category-theoretic tools to understand the world around us and inside of us. My supervisor is Neil Ghani.

I'm currently working on formalization of supervised and unsupervised learning in the language of category theory. My long-term goal is understanding the fundamental principles of intelligence.

For a detailed description of my research interests and the philosophy behind them, check out the about page. Most of my programming work can be found on Github.

Posts

…or you can find more in the archives.