Get my own profile
Co-authors
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ilia PolianUniversity of StuttgartVerified email at polian.de
Sebastian AltmeyerUniversity of AugsburgVerified email at uva.nl
Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Roberto SegalaUniversitā di VeronaVerified email at univr.it
Kumar MadhukarTata Research Development and Design CenterVerified email at tcs.com
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk