Alfons Laarman

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.

Research Group

I lead the System Verification Lab (SVL) which is part of the Theory Cluster and the interdepartmental Applied Quantum Algorithms (aQa) institute.

Members:

Publications
© Alfons Laarman 2022
Linkedin logo DBLP logo Google Scholar logo Orcid logo GitHub logo