Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Karthikeyan BhargavanINRIAVerified email at inria.fr
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Giorgio GhelliVerified email at di.unipi.it
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Alan JeffreyRobloxVerified email at roblox.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Thore GraepelResearch Scientist, Google DeepMind, and Professor of Computer Science, UCLVerified email at ucl.ac.uk
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Don SymeMicrosoft ResearchVerified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Gavin BiermanOracleVerified email at oracle.com
Andrew D Gordon
Microsoft Research and University of Edinburgh
Verified email at microsoft.com - Homepage