Alfons Laarman is an assistant professor at LIACS, the Computer Science department of Leiden University.
He studies parallel systems and theircorrectness.
In 2014, Alfons received his PhD (with honors) at the University of Twente under the guidance of Prof. dr. Jaco van de Pol.
His thesis is titled “Scalable Multi-Core Model Checking”.
From 2014 to 2016, Alfons was a postdoc in the group of the late Prof. dr. Helmut Veith at the TU Wien.
In Vienna, he worked on Parallel Algorithms, Software Verification and Reduction Techniques for Cuncurrent Systems.
At Leiden University, he will continue these research lines.
For more information see my personal webpage