Alfons Laarman
Assistant 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 assistant professor at LIACS, the Computer Science department of Leiden University. He studies parallel systems and their correctness.
More information about Alfons Laarman
PhD candidates
External PhD candidate
In 2014, Alfons received his PhD (with honors) at the University of Twente under the guidance of Prof. dr. Jaco van de Pol.
His thesis is titled “Scalable Multi-Core Model Checking”.
From 2014 to 2016, Alfons was a postdoc in the group of the late Prof. dr. Helmut Veith at the TU Wien.
In Vienna, he worked on Parallel Algorithms, Software Verification and Reduction Techniques for Cuncurrent Systems.
At Leiden University, he will continue these research lines.
For more information see my personal webpage
Assistant professor
- Science
- Leiden Inst. Advanced Computer Sciences
- Laarman A.W. (2018), Optimal Storage of Combinatorial State Spaces. In: Dutle A., Munoz C., Narkawicz A. (Eds.) NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. no. Lecture Notes in Computer Science, volume 10811 Cham: Springer. 261-279.
- Barnat J., Bloemen V., Duret-Lutz A., Laarman A.W., Petrucci L., Pol J. van de & Renault E. (2018), Parallel Model Checking Algorithms for Linear-Time Temporal Logic. In: Hamadi Y. & Sais L. (Eds.) Handbook of Parallel Constraint Reasoning. Cham: Springer. 457-507.
- Dal G.H., Laarman A.W. & Lucas P.J.F. (2018), Parallel Probabilistic Inference by Weighted Model Counting. In: Proceedings of the Ninth International Conference on Probabilistic Graphical Models. no. Proceedings of Machine Learning Research 72. 97-108.
- Laarman A.W. (2018), Stubborn Transaction Reduction. In: Dutle A., Munoz C., Narkawicz A. (Eds.) NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. no. Lecture Notes in Computer Science, volume 10811 Cham: Springer. 280-298.
No relevant ancillary activities