I am a PhD student under the supervision of Jana Wagemaker at the department of software science at the Radboud University.
My master's thesis has been 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.