Who?

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

My primary field of interest is in the applications of category theory in computer science, where I tend to use it in models of programming languages and logics, especially in reversible computation. I'm also interested in models of probabilistic and quantum computation.

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.