Get my own profile
Public access
View all55 articles
1 article
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
- Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- 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
- Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
- Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
- Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
- Roberto SegalaUniversitŕ di VeronaVerified email at univr.it
- Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusVerified email at de.bosch.com
- 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
Follow
David Parker
Professor of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage