The VerCors Team

Group Leader

• prof.dr. Marieke Huisman
• wwwhome.ewi.utwente.nl/~marieke/

Members

• 

  • dr. Petra van den Bos
  • petravdbos.nl
• 

  • Lukas Armborst, MSc
  • people.utwente.nl/l.armborst
• 

  • Ömer Şakar, MSc
  • people.utwente.nl/o.f.o.sakar
• 

  • Bob Rubbens, MSc
  • people.utwente.nl/r.b.rubbens
• 

  • Pieter Bos, MSc
  • people.utwente.nl/p.h.bos
• 

  • Philip Tasche, MSc
  • people.utwente.nl/p.b.h.tasche
• 

  • Naum Tomov, BSc
  • www.linkedin.com/in/naum-tomov-82a62b21b/

Alumni

• 

  • dr. Sophie Lathouwers
  • wwwhome.ewi.utwente.nl/~lathouwerssam/
• 

  • dr. Raúl E. Monti
  • people.utwente.nl/r.e.monti
• 

  • dr. Mohsen Safari
  • wwwhome.ewi.utwente.nl/~safarim/
• 

  • dr.ir. Sebastiaan Joosten
  • sjcjoosten.nl
• 

  • Fauzia Ehsan, MSc
• 

  • dr. Wytse Oortwijn
  • wwwhome.ewi.utwente.nl/~oortwijnwhm/
• 

  • dr. Stefan Blom
  • scholar.google.com/citations?user=zEUh__sAAAAJ&hl=en
• 

  • dr. Wojciech I. Mostowski
  • scholar.google.com/citations?user=dmYvWaAAAAAJ&hl=es&oi=sra
• 

  • Henk Mulder, MSc
• 

  • dr. Saeed Darabi
  • wwwhome.ewi.utwente.nl/~darabis/
• 

  • dr. Afshin Amighi
• 

  • dr. Marina Zaharieva-Stojanovski
  • dblp.org/pers/hd/z/Zaharieva=Stojanovski:Marina
• 

  • Jelte Zeilstra, MSc

Contact

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

vercors@lists.utwente.nl

Credits

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

Oversight Committee

• 

  • Boris
  • Temperature Control
• 

  • Billie
  • Cable Management