Profile

As assistant professor at the Leiden Institute for Advanced Computer Science (LIACS), I lead the System Verification Lab (SVL) which is part of the theory cluster and the interdepartmental Applied Quantum Algorithms (aQa) institute.

Research

• Formal Methods
• Parallel Computing
• Quantum Computing

Teaching

Current:

• Software Verification (MSc) at LeidenU
• Software Engineering (BSc) at LeidenU (see also LUdev.nl)
• Orientation Team Project (QIST MSc) as course designer at TU Delft / LeidenU

Past:

• Advances in Model Checking (MSc) in LeidenU
• Bachelor Class (BSc) at LeidenU
• Formal Methods Seminar (MSc), as guest lecturer at TU Vienna
• Computer Aided Verification (MSc), as guest lecturer at TU Vienna
• Software Model Checking (MSc), as guest lecturer at TU Vienna

Research Group

I lead the System Verification Lab (SVL) which is part of the theory cluster and the interdepartmental Applied Quantum Algorithms (aQa) institute.

Members

• Tim Coopmans (Postdoc)
• Dimitrios Thanos (PhD candidate)
• Sebastiaan Brand (PhD candidate)
• Giso Dal (PhD candidate), as copromotor with Peter Lucas
• Lieuwe Vinkhuijzen (PhD candidate)

Future Members

• You? (Teaching PhD candidate)

Projects / Grants

Current

• Dutch NWO NWA-ORC — Divide & Quantum (PI, consortium)
• EU H2020 — NExt ApplicationS of Quantum Computing (Use-case lead, consortium)

Past

• Dutch NWO Veni — Parallelism in Depth (PI)
• Austrian FWF — Lise Meitner

Software Tools

• LTSmin is a language-independent high-performance model checker.
• VVT is a symbolic model checker that uses abstraction and SAT/SMT-solving (property directed reachability).

Students

MSc

• Federico Brian (LeidenU / UPadua, ongoing)
• Max Blankestijn (LeidenU, ongoing)
• Sebastiaan Brand (LeidenU / TU Delft)
• Jos Zandvliet (LeidenU)
• Rachel de Jong (LeidenU, research project)
• Luc Edixhoven (LeidenU)
• Sevak Mardirosian (LeidenU)
• Stef van Dijk (LeidenU)
• Julius Koschny (LeidenU, research project)
• Frederick vd Meulen (LeidenU, research project)
• Niek Buwalda (LeidenU, research project)
• Vincent Bloemen (UTwente)
• Freark van der Berg (UTwente)
• Tom van Dijk (UTwente)
• Ronald Burgman (UTwente)

BSc

• Lucas Allison (ongoing)
• Levente Bajczi (Budapest University of Technology)
• Wanjung Xu (Xi'an Jiaotong University)
• Yuanmin Xu (Xi'an Jiaotong University)
• Ralph Driessen (LeidenU)
• Martijn Swenne (LeidenU)
• Olaf Randel (LeidenU)
• Timon Bakker (LeidenU)
• Benjamin Steffens (LeidenU)
• Corjan Meijerink (LeidenU)
• Martijn Wester (LeidenU)
• Wanjung (Cassie) Xu (LeidenU)
• Yannik Marchand (LeidenU)
• Romke Bak (LeidenU)
• Tony Campmans (LeidenU)
• Rachel de Jong (LeidenU)
• Niek Buwalda (LeidenU)
• Simon de Vries (UTwente)
• Steven van der Vegt (UTwente)
• Freark van der Berg (UTwente)