Alfons Laarman
My main research interests are automated reasoning, quantum computing and parallel computing. The research tab provides an overview of successfully completed research projects.
I lead the System Verification Lab (SVL) which is part of the Theory Cluster and the interdepartmental Applied Quantum Algorithms (aQa) initiative.
Members:
Alexis de Colnet (Postdoc)
Joon Hyung Lee (Postdoc)
Jan Martens (Postdoc)
Muhammad Osama (Postdoc)
Marc Farreras I Bartra (PhD candidate)
Jingyi Mei (PhD candidate)
Dimitrios Thanos (PhD candidate)
Sebastiaan Brand (PhD candidate)
Arend-Jan Quist (PhD candidate)
Alexandro Villoria Gonzalez (PhD candidate)
Steef Hegeman (PhD candidate)
Alumni:
Tim Coopmans (former Postdoc, now assistant professor at TU Delft)
dr. Lieuwe Vinkhuijzen
dr. Hans Dieter Hiep
dr. Giso Dal