About

I’m a second-year applied category theory PhD student in the Mathematically Structured Programming Group (MSP) 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. I was a part of TakeLab. I’ve done quite a bit of programming work there, 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 discovered category theory, which greatly shaped how I think about 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 joining MSP two years ago, I have written a number of papers with various coauthors, exploring the intersection of category theory, machine learning, game theory, and cybernetics.

My CV is here.

Contact

Click to reveal email. You can also find me on Twitter and Github.

I am currently working from home, but I can usually be found at

LT 1310 (floor 13)

Livingstone Tower
26 Richmond Street
Glasgow G1 1XH
United Kingdom