Universiteit Leiden

nl en

Alfons Laarman

Assistant professor

Naam
Dr. A.W. Laarman
Telefoon
+31 71 527 2727
E-mail
a.w.laarman@liacs.leidenuniv.nl

Alfons is universitair docent bij het LIACS, de informatica afdeling van de Universiteit Leiden.
Hij bestudeert parallelle systemen en hun correctheid.

Meer informatie over Alfons Laarman

In 2014 promoveerde Alfons cum laude aan de Universiteit Twente onder begeleiding van Prof. dr. Jaco van de Pol.

Zijn proefschrift is getiteld “Scalable Multi-Core Model Checking”.

Van 2014 tot 2016 was hij postdoc in de groep van voormalig Prof dr. Helmut Veith aan de TU Wien.

Daar werkte hij aan Parallelle Algoritmen, Software Verificatie en Reductie Technieken voor Concurrente Systemen.

Aan de Universiteit Leiden zet hij deze onderzoekslijnen voort.

Voor meer informatie zie mijn persoonlijke webpagina

Assistant professor

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden

Contact

  • Geen relevante nevenwerkzaamheden