Get my own profile
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
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Nick HawesOxford Robotics Institute, University of OxfordVerified email at robots.ox.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
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
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Taolue ChenDepartment of Computer Science, University of SurreyVerified email at surrey.ac.uk
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Hĺkan L. S. YounesGoogle IncVerified email at google.com
Rashid MehmoodProfessor of Big Data Systems, Director for Research, HPC Center, King AbdulAziz UniversityVerified email at cl.cam.ac.uk
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Lu FengAssistant Professor of Computer Science, University of VirginiaVerified email at virginia.edu
Christel BaierTU DresdenVerified email at tu-dresden.de
David Parker
Professor of Computer Science, University of Birmingham
Verified email at cs.bham.ac.uk - Homepage