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
-
Gapend gat gedicht: Leidse promovendus ontdekt doorbraak in softwareveiligheid -
Vijftien docenten ontvangen Senior Kwalificatie Onderwijs -
Leids onderzoek naar quantumtechnologie valt ruim in de prijzen -
Studenten bouwen software voor echte klanten -
Naar relevante quantumcomputers -
NWA-subsidie voor meerdere interdisciplinaire consortia -
LIACS onderdeel van Europees consortium om industriële quantum computing te stimuleren
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