Currently I am obtaining my double masters degree in mathematics and computer science at Utrecht University.
I'm working on my master thesis in foundational computer science and category theory under the supervision of Paige North.
The thesis concerns itself with the functorial nature of the enrichment of the category of algebras in the category of coalgebras as displayed in Coinductive control of inductive datatypes.