Fernando Chu

I'm a first year PhD Student at Utrecht University, working under supervision of Paige North.

My main interests revolve around category theory and type theory. In particular, I'd like to better understand how these can be used to tackle classical problems, generate better abstractions and/or facilitate formalization of mathematics into proof assistants.

I'm currently co-hosting the Category Theory Seminar at Utrecht University with Léonard Guetta.