Alfons Laarman -

Registered user since Fri 28 Dec 2018

Name:Alfons Laarman

Country:Netherlands

Affiliation:Leiden University

Research interests:Verification, Parallel Computing

Contributions

2025

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