Software Verification Lab

News

Awarded NWO NWA grant Divide & Quantum

Divide & Quantum grant

As PI of this 2m euro project, I will lead a consortium to implement various case studies in quantum computing. My own team will contribute new divide & quantum algorithms and the simulation of quantum computing based on LIMDDs. Looking forward to work with the diverse Divide & Quantum consortium.

posted on

Awarded EU Horizon grant Efficient QUantum ALgorithms for IndusTrY (EQUALITY)

Efficient QUantum ALgorithms for IndusTrY (EQUALITY)

The 6m euro project will be executed by a large consortium led by Altran. I will lead a work package on optimization techniques for quantum circuits based on the LIMDD technology developed by my team. This will crucially enable other consortium partners to implement their quantum computing use cases.

posted on

Organizing the SPIN 2021 symposium

SPIN 2021 (co-located at ECOOP + ISSTA)

Together with Ana Sokolova, I organize the SPIN 2021 symposium. The workshop features invited speakers Vincenzo Ciancia (CNR-ISTI), Mariëlle Stoelinga (Twente / Radboud University) and Moshe Vardi (Rice).

posted on

Invited to the CERN workshop on scientific computing

CERN workshop on scientific computing

Roel Aaij (NikHef) invited me to explore ways to use my tree-based data compression methods on the massive data produced by CERN. I will present the data structure to a mostly physics audience in Sardinia, Italy.

posted on

Invited to the Lorentz workshop on formal methods

Research agenda formal methods in the Netherland
posted on

Invited to present at This-Week's-Discovery in Leiden

I will talk about my Veni project Paralellism in Depth.

posted on

Invited to talk at a workshop in honor of Marieke Huisman

I will talk about parallel depth-first search algorithms.

posted on