Get my own profile
Co-authors
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Matthew PickeringUniversity of BristolVerified email at bristol.ac.uk
Maciej PirógUniversity of WrocławVerified email at cs.uni.wroc.pl
Meng WangSenior Lecturer in Computer Science, University of BristolVerified email at bristol.ac.uk
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioVerified email at fceia.unr.edu.ar
Csongor KissImperial College LondonVerified email at imperial.ac.uk
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
José Pedro MagalhãesStandard CharteredVerified email at cs.ox.ac.uk
Andrew SimpsonUniversity Lecturer in Software Engineering, Department of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
David WongUniversity of ManchesterVerified email at robots.ox.ac.uk
Peter WatkinsonOxfordVerified email at pjwat.freeserve.co.uk
Boldizsár NémethEötvös Loránd TudományegyetemVerified email at elte.hu
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Jeroen BransenUtrecht UniversityVerified email at uu.nl
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Verified email at imperial.ac.uk - Homepage