Who?

I am a postdoctoral researcher at the Department of Computer Science (DIKU) at the University of Copenhagen.

My primary field of interest is category theory and categorical semantics, which I tend to apply to models of reversible and quantum programming languages, iteration, recursion, effects, and to models of logics.

Publications

Theses

Teaching and supervision

Supervision

I have previously (co)supervised 2 Master's theses and 4 Bachelor's theses. Students: If you're interested in writing a project with me, get in touch!

Other

Contact

Design based on Strata by HTML5UP.