I'm studying abstract models of quantum computation that may help us gain a better intuition on how to exploit the advantage quantum computers provide. My goal is to provide abstractions and tools that make the field of quantum computing more amenable to all kinds of computer scientists. In my research I often use category theory, motivated by its success in classical computer science and its recent progress in formalising quantum mechanics.

Here is my CV.


My main interest is understanding the extra tools quantum computers provide, and describing them in a concise language so they may be exploited. Other interests are: