Get my own profile
Co-authors
Martin R. AlbrechtRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Jean Paul DegabrieleTU DarmstadtVerified email at tu-darmstadt.de
Steven GalbraithProfessor of Pure Mathematics, University of Auckland, NZVerified email at math.auckland.ac.nz
Chris MitchellProfessor of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
James A. DavisProfessor of Mathematics, University of RichmondVerified email at richmond.edu
Nigel SmartKU LeuvenVerified email at kuleuven.be
Gaven WatsonVisa ResearchVerified email at visa.com
Elizabeth QuagliaSenior Lecturer, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Bertram PoetteringIBM Research Labs - ZurichVerified email at zurich.ibm.com
Hoon Wei LimSingtelVerified email at singtel.com
Colin BoydNorwegian University of Science and TechnologyVerified email at item.ntnu.no
tuvi etzionComputer Science, Technion, IsraelVerified email at cs.technion.ac.il
Marie-Sarah LacharitéRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Gadiel SeroussiResearcher, Gadiel Seroussi ConsultingVerified email at ieee.org
Nadhem AlFardanRoyal HollowayVerified email at live.rhul.ac.uk
Benoit LibertCNRS & ENS de Lyon (France)Verified email at ens-lyon.fr
Simon R. BlackburnRoyal Holloway University of LondonVerified email at rhul.ac.uk
Dennis HofheinzDepartment of Computer Science, ETH ZürichVerified email at inf.ethz.ch
Martijn StamSenior Researcher at Simula UiB, NorwayVerified email at simula.no
Douglas StebilaUniversity of WaterlooVerified email at uwaterloo.ca