My research lies at the intersection between mathematics, computer science and quantum theory. My main focus resides on the semantics of quantum programming languages; in other words, I provide an interpretation of programs using techniques from logic and mathematics, in particular topology and category theory. One of my goals is to abstract quantum programming from the level of circuits to infinite data types. My interest in quantum computing has also led me to work on reversible programming languages and the semantics of effects. Developing the semantics of a programming language enhances one's understanding of this language, and it can sometimes highlight which aspects of the language can be improved. Moreover, semantics offers a formal setting for a type-safe verified compilation of a (high-level) language to hardware.