Universiteit Leiden

nl en

Alfons Laarman

Assistant professor

Name
Dr. A.W. Laarman
Telephone
+31 71 527 5775
E-mail
a.w.laarman@liacs.leidenuniv.nl

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

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

Snellius Building
Niels Bohrweg 1
2333 CA Leiden

Contact

  • Geen relevante nevenwerkzaamheden