Get my own profile
Public access
View all30 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Scott OwensUniversity of KentVerified email at kent.ac.uk
Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Francesco Zappa NardelliFacebookVerified email at fb.com
Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Johannes Åman PohjolaUniversity of New South WalesVerified email at unsw.edu.au
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Tom RidgeIndependentVerified email at tom-ridge.com
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiVerified email at abo.fi
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Eva DarulovaUppsala UniversityVerified email at it.uu.se
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
Hira Taqdees SyedaLecturer at University of MelbourneVerified email at unimelb.edu.au
Samin IshtiaqRiverlaneVerified email at riverlane.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteVerified email at wpi.edu
Stefan MitschSchool of Computing, DePaul UniversityVerified email at depaul.edu
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu