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 Future Members
  • You? (Teaching PhD candidate)
Projects / Grants
Current Past
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)