My main research interests are formal verification, automated reasoning, software engineering, quantum computing and parallel computing. Verification is crucial to ensure the correctness of digital systems, but requires rigorous, formal approaches and compute power to automate reasoning. In my research, I apply the resources of parallel and quantum computing to speed up verification and reasoning algorithms. I implement the resulting algorithms and data structures in various software tools.
I lead the System Verification Lab (SVL) which is part of the Theory Cluster and the interdepartmental Applied Quantum Algorithms (aQa) institute.