Who?

I am a Postdoc at the Department of Computer Science at University of Copenhagen, advised by Robert Glück.

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.

Teaching

Publications

Theses

Other academic activities

Contact

Design based on Strata by HTML5UP.