Contact alfons@laarman.com if you are interested.
- Construct a library for unifying different decision diagram packages
- Implement Quantum Circuit Optimization using DDs, SAT or ZX-calculus
- Invent new Divide & Quantum algorithms
- Implement Transaction Reduction for Model Checking of Parallel Programs
- Prove Correctness of Parallel Algorithm
- Invent new Parallel (NC) Algorithms for Efficient Parallel Reachability
MSc
- Lucas Allison (LeidenU, ongoing)
- Thomas de Mol (LeidenU, ongoing)
- Max Blankestijn (LeidenU, ongoing)
- Floyd Remmerswal (LeidenU, ongoing)
- Daan Wöltgers (TU/e)
- Federico Brian (LeidenU / UPadua)
- Martijn Swenne (LeidenU)
- Sebastiaan Brand (LeidenU / TU Delft)
- Jos Zandvliet (LeidenU)
- Rachel de Jong (LeidenU, research project)
- Luc Edixhoven (LeidenU)
- Sevak Mardirosian (LeidenU)
- Stef van Dijk (LeidenU)
- Richard Huybers (LeidenU)
- Julius Koschny (LeidenU, research project)
- Frederick van der 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
- Lieke Vertegaal (LeidenU)
- Ruben Schuitemaker
- Ivo Scholz
- Lucas Allison (LeidenU)
- Elze de Vink (LeidenU)
- Diego van Egmond (LeidenU)
- Michael van der Zwart (LeidenU)
- Louise Kubatz (LeidenU)
- Levente Bajczi (Budapest University of Technology)
- Wanjung Xu (Xi'an Jiaotong University)
- Yuanmin Xu (Xi'an Jiaotong University)
- Ralph Driessen (LeidenU)
- Marcel Kolenbrander (LeidenU, LION)
- Martijn Swenne (LeidenU)
- Olaf Randel (LeidenU)
- Timon Bakker (LeidenU)
- Benjamin Steffens (LeidenU)
- Corjan Meijerink (LeidenU, LION)
- 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)