About

I’m a second-year applied category theory PhD student in the Mathematically Structured Programming Group at the University of Strathclyde, Glasgow, United Kingdom. My supervisor is Neil Ghani.

I previously studied computer science at the Faculty of Electrical Engineering and Computing (FER) in Zagreb, Croatia. There I’ve done quite a bit of programming work reimplementing a number of neural network architectures such as Differentiable Neural Computer, Generative Adversarial Networks, Synthetic Gradients and made even my own automatic differentiation framework. Attempting to make my thinking more abstract and precise, I found out about category theory which greatly shaped how I do research.

My studies in Zagreb culminated with me writing my master thesis on the topic of formalization of Cycle-Consistent Generative Adversarial Neural Networks (CycleGAN) in the language of category theory. This thesis was turned into a paper Learning Functors using Gradient Descent and accepted at the ACT conference.

Since then I’ve joined MSP and have published one more paper at ACT: Compositional Game Theory, Compositionally which explores an Arrow-theoretic formalization of Open Games.

My CV is here.