
Alfons Laarman
Assistant professor
- Naam
- Dr. A.W. Laarman
- Telefoon
- +31 71 527 5775
- a.w.laarman@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-2433-4174
Alfons is universitair docent bij het LIACS, de informatica afdeling van de Universiteit Leiden.
Hij bestudeert parallelle systemen en hun correctheid.
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
Geen relevante nevenwerkzaamheden