Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Gavin BiermanOracleVerified email at oracle.com
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Nicola GambinoDepartment of Mathematics, University of ManchesterVerified email at manchester.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Universitą degli Studi di GenovaVerified email at unige.it
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonVerified email at qmul.ac.uk
Andrea SchalkSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it