Who?

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

My primary field of interest is reversible computing, specifically in the development of categorical semantics for reversible programming languages. I am also interested in (categorical approaches to) quantum computing, and in categorical semantics of logics and programming languages in general.

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.