Get my own profile
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Alexander KurzChapman UniversityVerified email at chapman.edu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Henderik A. ProperProfessor in Enterprise Engineering at Radboud University Nijmegen, at University of Luxembourg, andVerified email at acm.org
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityVerified email at han.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Dave ClarkeIndependentVerified email at storytel.com
Maria-Eugenia IacobProfessor, University of TwenteVerified email at utwente.nl
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Mohammad IzadiAssociate professor of Computer Engineering, Sharif University of TechnologyVerified email at sharif.edu
Marcello Bonsangue
Professor of Computer Science, Leiden University
Verified email at liacs.leidenuniv.nl - Homepage