Universiteit Leiden

nl en

Alfons Laarman

Assistant professor

Dr. A.W. Laarman
+31 71 527 5775

Alfons Laarman is an assistant professor at LIACS, the Computer Science department of Leiden University.
He studies parallel systems and their correctness.

More information about Alfons Laarman

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

Assistant professor

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst. Advanced Computer Sciences

Work address

Niels Bohrweg 1
2333 CA Leiden
Room number 160



No relevant ancillary activities

This website uses cookies.  More information.