Software Verification Lab
Alfons Laarman (PI)
Tim Coopmans (Postdoc)
Jingyi Mei (PhD candidate)
Dimitrios Thanos (PhD candidate)
Sebastiaan Brand (PhD candidate)
Giso Dal (PhD candidate)
Lieuwe Vinkhuijzen (PhD candidate)
Arend-Jan Quist (PhD candidate)
Alexandro Villoria Gonzalez (PhD candidate)