I am a PhD at the Vrije Universiteit Amsterdam under the supervision of Joerg Endrullis, Helle Hvid Hansen, and Wan Fokkink.
My research focuses on category theory applications in computer science, including the algebraic presentation of monads and toposes in graph rewriting.