Research on
reliability and correctness of concurrent and distributed
software. Try out our verification techniques using the VerCors tool
set.
Lecturer in the Computer Science department of the University of Twente, teaching
programming, basic algorithms, the use of formal methods, and program
verification.
President of the ETAPS
assocation, running the ETAPS conferences.
Winner of the Netherlands
Prize for ICT Research 2013, worth 50,000 euros. The ICT Prize is a unique prize for a scientist, aged 40 years or younger, who carries out innovative research or is responsible for a scientific breakthrough in ICT.
Research
Topics:
Program verification
Reliability of concurrent,
parallel and distributed applications