Get my own profile
Public access
View all53 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Nick HawesOxford Robotics Institute, University of OxfordVerified email at robots.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Bruno LacerdaOxford Robotics Institute - University of OxfordVerified email at robots.ox.ac.uk
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Mateusz UjmaDPhil Student, Oxford UniversityVerified email at cs.ox.ac.uk
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Lu FengAssociate Professor of Computer Science, University of VirginiaVerified email at virginia.edu
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusVerified email at de.bosch.com
Follow![David Parker](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=nEKbXSMAAAAJ&citpid=4)
David Parker
Professor of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage