I lead the System Verification Lab (SVL) at the Leiden Institute for Advanced Computer Science (LIACS).
I am founder of LUdev, the software development company ran by students who follow the courses Software Engineering, Managing Software Evolution and System Development.
My main research interests are formal verification, automated reasoning, software engineering, quantum computing and parallel computing.
The PDAR 2022 workshop is co-located at the Federated Logic Conference (a once in four year event) and features an exciting line up of speakers on parallel reasoning, as well as discussion sessions on this promising field.
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.
The System Verification Lab has three open PhD positions:
Email me if interested.
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.
Mirjam Blaauwboer asked me to join the development of the QIST master program, which will be jointly taught by TU Delft and Leiden University. I will design a course for the first year of the master.
The event was originally planned to take place at CMU, Pittsburgh, but will take place online.
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).
The 5m euro project will be executed by a large consortium led by Atos. My team will collaborate with EDF, the French energy company, to realize a case study in quantum probabilistic risk analysis.
I will speak about optimal compression methods for handling combinatorial state spaces.
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.
I will talk about my Veni project Paralellism in Depth.
In Gothenburg, Sweden, I will talk about concurrent data structures for program verification.
In Visegrád, Hungary, I will talk about the LTSmin model checker.
I will talk about parallel depth-first search algorithms.
