Alfons Laarman
Universitair hoofddocent
- 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 hoofddocent bij het LIACS, de informatica afdeling van de Universiteit Leiden.
Meer informatie over Alfons Laarman
Promovendi
Nieuws
Zie ook
Buiten promovendus
Alfons Laarman leidt het system verification lab en is medeoprichter van het interdepartementale initiatief applied quantum algorithms (aQa). Zijn onderzoeksinteresses omvatten automated reasoning, formele methoden, parallel computing en quantum computing.
Universitair hoofddocent
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
Geen relevante nevenwerkzaamheden