Get my own profile
Public access
View all7 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ömAssociate professor 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 JonesEpic GamesVerified email at epicgames.com
Alan JeffreyRobloxVerified email at roblox.com
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Thore GraepelGlobal Lead Computational Science, AI & ML at Altos Labs and Chair of Machine Learning, UCLVerified email at ucl.ac.uk
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Don SymeMicrosoft ResearchVerified email at microsoft.com
Gavin BiermanOracleVerified email at oracle.com
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Daniel TarlowResearch Scientist, Google DeepMind - MontrealVerified email at cs.toronto.edu