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

Publicaties