System Verification Lab

• Joon Hyung Lee (Postdoc)
• Jan Martens (Postdoc)
• Muhammad Osama (Postdoc)
• Marc Farreras I Bartra (PhD candidate)
• Jingyi Mei (PhD candidate)
• Dimitrios Thanos (PhD candidate)
• Sebastiaan Brand (PhD candidate)
• Arend-Jan Quist (PhD candidate)
• Alexandro Villoria Gonzalez (PhD candidate)
• Steef Hegeman (PhD candidate)

Alumni:

• Tim Coopmans (Postdoc, now assistant professor at TU Delft)
• Lieuwe Vinkhuijzen (PhD candidate)
• Hans Dieter Hiep (PhD candidate)
• Giso Dal