I’m a doctoral candidate advised by Jaakko Järvi and Håkon Gylterud.
My interests lie in applying category theory and type theory to the design and implementation of programming languages.
My current work is on a formalism for graphical user interfaces based on containers/polynomial functors.