Universiteit Leiden

nl en

Alfons Laarman

Universitair hoofddocent

Naam
Dr. A.W. Laarman
Telefoon
+31 71 527 5775
E-mail
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

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

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 160

Contact

Geen relevante nevenwerkzaamheden

Deze website maakt gebruik van cookies.  Meer informatie.