Get my own profile
Public access
View all21 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Maciej PirógHuawei ResearchVerified email at huawei.com
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
Jamie WillisImperial College LondonVerified email at imperial.ac.uk
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Birthe van den BergPhD Computer ScienceVerified email at kuleuven.be
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
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
Boldizsár NémethEötvös Loránd TudományegyetemVerified email at elte.hu
David WongUniversity of ManchesterVerified email at robots.ox.ac.uk
Peter WatkinsonOxfordVerified email at pjwat.freeserve.co.uk
Donnacha Oisín KidneyImperial College LondonVerified email at imperial.ac.uk
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
Follow
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Verified email at imperial.ac.uk - Homepage