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
- Thanos D., Coopmans T.J. & Laarman A.W. (2023), Fast equivalence checking of quantum circuits of Clifford gates. André E. & Sun J. (red.), Automated Technology for Verification and Analysis. 21st International Symposium, ATVA 2023 24 oktober 2023 - 27 oktober 2023. Lecture Notes in Computer Science nr. 14216. Cham: Springer. 199-216.
- Rennela M., Brand S., Laarman A. & Dunjko V. (2023), Hybrid divide-and-conquer approach for tree search algorithms, Quantum 7: 959.
- Brand S.O., Bäck T.H.W. & Laarman A.W. (2023), A decision diagram operation for reachability. Chechik M., Katoen J.P. & Leucker M. (red.), Formal methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. International Symposium on Formal Methods, 2023 7 maart 2023 - 9 maart 2023. Lecture Notes in Computer Science nr. 14000. Cham: Springer. 514-532.
- Quist A. & Laarman A.W. (2023), Optimizing quantum space using spooky pebble games. Kutrib M. & Meyer U. (red.), Reversible Computation RC 2023. Interrnational Conference on Reversible Computation RC 2023: Reversible Computation 18 juli 2023 - 19 juli 2023. Lecture Notes in Engineering and Computer Science nr. 13960. Cham: Springer. 134-149.
- Vinkhuijzen L.T., Grurl T., Hillmich S., Brand S.O., Wille R. & Laarman A.W. (2023), Efficient Implementation of LIMDDs for Quantum Circuit Simulation. Caltais G. & Schilling C. (red.), Model Checking Software. SPIN 2023. Model Checking Software. SPIN 2023 26 april 2023 - 27 april 2023. Lecture Notes in Computer Science nr. 13872. Cham: Springer. 3-21.
- Vinkhuijzen L.T., Coopmans T.J., Elkouss D., Dunjko V. & Laarman A.W. (2023), LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States, Quantum 7: 1108.
- Dal G.H., Laarman A.W. & Lucas P.J.F. (2018), Parallel Probabilistic Inference by Weighted Model Counting, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. The 9th International Conference on Probabilistic Graphical Models (PGM 2018) 11 september 2018 - 14 september 2018 nr. Proceedings of Machine Learning Research 72 97-108.
- Laarman A.W. (2018), Optimal Storage of Combinatorial State Spaces. Dutle A., Munoz C. & Narkawicz A. (red.), NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. NASA Formal Methods 10th International Symposium, NFM 2018 17 april 2018 - 19 april 2018 nr. Lecture Notes in Computer Science, volume 10811. Cham: Springer. 261-279.
- Laarman A.W. (2018), Stubborn Transaction Reduction. Dutle A., Munoz C. & Narkawicz A. (red.), NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. NASA Formal Methods 10th International Symposium, NFM 2018 17 april 2018 - 19 april 2018 nr. Lecture Notes in Computer Science, volume 10811. Cham: Springer. 280-298.
- 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. (red.), Handbook of Parallel Constraint Reasoning. Cham: Springer. 457-507.