Get my own profile
Public access
View all45 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
Bruno LacerdaOxford Robotics Institute - University of OxfordVerified email at robots.ox.ac.uk
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Mateusz UjmaDPhil Student, Oxford UniversityVerified email at cs.ox.ac.uk
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Roberto SegalaUniversitŕ di VeronaVerified email at univr.it
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Tim QuatmannPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Lu FengAssistant Professor of Computer Science, University of VirginiaVerified email at virginia.edu
Michaela KlauckSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
Hĺkan L. S. YounesGoogle IncVerified email at google.com
Follow
David Parker
Professor of Computer Science, University of Birmingham
Verified email at cs.bham.ac.uk - Homepage