Alfons Laarman -

Registered user since Fri 28 Dec 2018

Name:Alfons Laarman

Country:Netherlands

Affiliation:Leiden University

Research interests:Verification, Parallel Computing

Contributions

2026

VMCAI

Committee Member in Program Committee within the VMCAI 2026-track

2025

ATVA

Author of Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper) within the ATVA Papers-track

WQS

Author of Quantum Circuit Compilation with #SAT within the WQS 2025-track
Author of Optimization and Synthesis of Quantum Circuits with Global Gates within the WQS 2025-track

2021

ECOOP/ISSTA

SPIN Co-Chair in Organizing Committee

SPIN

2019

VMCAI

Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track

2017

VMCAI

Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track

2016

Principles and Practice of Parallel Programming

Author of Multi-Core On-The-Fly SCC Decomposition within the Main conference-track