Ph.D. in Mathematics Ph.D. in Computer Science
Institution: Utrecht University, Netherlands
Thesis submitted; defense scheduled for April 2026
Thesis: Freely generated categorical structures and automatic differentiation
Supervisors: Professor Gabriele Keller and Assistant Professor Matthijs Vákár
PhD Examination Committee: Professor Ieke Moerdijk, Professor Bart Jacobs, Professor Sam Staton, Professor Robin Cocket, and Professor Patricia Johann
Keywords: Programming language semantics, automatic differentiation, software correctness, program transformations, categorical semantics, logical relations, type systems, dependent types, algebraic effects
Period: November 2020 – November 2025