Who?

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

My primary field of interest is reversible computing, specifically in the development of categorical semantics for reversible programming languages, as well as formal approaches to the specification and optimization of reversible logic circuits. 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

Other academic activities

Contact

Design based on Strata by HTML5UP.