Universiteit Leiden

nl en

Alfons Laarman

Associate professor

Name
Dr. A.W. Laarman
Telephone
+31 71 527 5775
E-mail
a.w.laarman@liacs.leidenuniv.nl
ORCID iD
0000-0002-2433-4174

Alfons Laarman is an associate professor at LIACS, the Computer Science department of Leiden University.

More information about Alfons Laarman

Alfons Laarman leads the system verification lab and is a co-founding member of the inter-departmental applied quantum algorithms (aQa) initiative. His research interests span automated reasoning, formal methods, parallel computing and quantum computing. 

Associate professor

  • Science
  • Leiden Inst of Advanced Computer Science

Work address

Gorlaeus Building
Einsteinweg 55
2333 CC Leiden
Room number BE2.03

Contact

Publications

  • Geen relevante nevenwerkzaamheden
This website uses cookies.  More information.