Get my own profile
Co-authors
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Roberto SegalaUniversità di VeronaVerified email at univr.it
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Vojtěch ForejtDifflblueVerified email at diffblue.com
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Håkan L. S. YounesGoogle IncVerified email at google.com
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Luca de AlfaroProfessor, UC Santa CruzVerified email at UCSC.edu
Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Jan RuttenCWIVerified email at cwi.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Xueyi ZouHuawei Noah's Ark LabVerified email at huawei.com
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Gethin Norman
Senior Lecturer of Computing Science, Glasgow University, School of Computing Science
Verified email at glasgow.ac.uk - Homepage