I am a mathematical physicist working at the Johannes Kepler University, Linz. Currently, I am interested in the quantization of mathematical structures in order to apply the quantized structures to quantum information theory and the denotational semantics of quantum programming languages. My tools are operator algebras, category theory, and order theory.