The VerCors Verifier

Group Leader

Members

• dr. Petra van den Bos
• Lukas Armborst, MSc
• Ömer Şakar, MSc
• Bob Rubbens, MSc
• Pieter Bos, MSc
• Philip Tasche, MSc
• Naum Tomov, BSc

Alumni

• dr. Sophie Lathouwers
• dr. Raúl E. Monti
• Mohsen Safari, MSc
• dr.ir. Sebastiaan Joosten
• Fauzia Ehsan, MSc
• dr. Wytse Oortwijn
• dr. Stefan Blom
• dr. Wojciech I. Mostowski
• Henk Mulder, MSc
• dr. Saeed Darabi
• dr. Afshin Amighi
• dr. Marina Zaharieva-Stojanovski
• Jelte Zeilstra, MSc

For any further information about VerCors, you can contact us via:

vercors@lists.utwente.nl

VerCors is and has been supported by several projects:

• 

• 

• 

• 

• VerCors: Verification of Concurrent Data Structures
  

  Funded by: European Resource Council
  Duration: 2011 until 2016

• VerDi: Verification of Distributed Software
  

  Funded by: NWO
  Duration: 2015 until 2019