Alfons Laarman
Associate professor
- Name
- Dr. A.W. Laarman
- Telephone
- +31 71 527 5775
- 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
PhD candidates
News
-
Fifteen lecturers gain Senior Teaching Qualification -
Leiden quantum technology research very successful in funding call -
Students build software for real customers -
Towards relevant quantum computers -
NWA grants for interdisciplinary consortia -
LIACS part of European consortium to boost industrial quantum computing
See also
External PhD candidate
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