Get my own profile
Co-authors
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu- John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
- Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
- matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
- Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
- Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
- John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
- Ravi SethiProfessor, Computer Science, The University of ArizonaVerified email at email.arizona.edu
- Andrew J. MillarUniversity of EdinburghVerified email at ed.ac.uk
- Argyris ZardilisSainsbury Laboratory Cambridge UniversityVerified email at slcu.cam.ac.uk
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Verified email at inf.ed.ac.uk