Software Verification Lab

Open MSc / BSc projecs
Contact alfons@laarman.com if you are interested.
Student Alumni

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)