Get my own profile
Co-authors
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Christel BaierTU DresdenVerified email at tu-dresden.de
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaVerified email at uv.es
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Enric Cosme LlópezUniversitat de ValènciaVerified email at uv.es
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it