Research interests

My current research interests are in the formal verification of quantum programs. My research covers the analysis of the behavior of programs including the degrees of errors they can have when run on an imperfect machine, the amount of ressources they are expected to consume, and, of course, whether or not they are correct (i.e. they do what they are designed to do).