Get my own profile
Co-authors
Steve KremerInriaVerified email at inria.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Myrto ArapinisSchool of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Ben SmythCrypto Stream LtdVerified email at bensmyth.com
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesVerified email at math.bas.bg
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Gurchetan GrewalTechnical Specialist in Cyber Security at ZF GroupVerified email at ZF.com
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Franck CassezConsensys & Macquarie UniversityVerified email at mq.edu.au
Graham SteelINRIAVerified email at cryptosense.com
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLVerified email at cs.ucl.ac.uk
Michael LuckDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com