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