Get my own profile
Co-authors
Jan RuttenCWIVerified email at cwi.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Tobias KappéUniversity College LondonVerified email at cs.ucl.ac.uk
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Paul BrunetUniversity College LondonVerified email at ucl.ac.uk
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Gerco van HeerdtUniversity College LondonVerified email at ucl.ac.uk
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de
Steffen SmolkaCornell UniversityVerified email at cs.cornell.edu
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu