Who?

I am a PhD fellow at the Department of Computer Science at University of Copenhagen, jointly advised by Robert Glück, Holger Bock Axelsen, and Andrzej Filinski.

My primary field of interest is reversible computing, specifically in the development of logics and 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

Other academic activities

Contact

Design based on Strata by HTML5UP.