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.
InterestsMy 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:
- quantum walks
- category theory
- quantum programming languages
- models of computation based on graphs
- CDT in PPar, sponsored by the EPSRC and the School of Informatics (2017-2021).