Get my own profile
Co-authors
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Taolue ChenDepartment of Computer Science, University of SurreyVerified email at surrey.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Michael Ummels
Researcher, German Aerospace Center
Verified email at logic.rwth-aachen.de