Get my own profile
Co-authors
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Boyan YordanovComputational Science Laboratory, Microsoft ResearchVerified email at microsoft.com
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
James BrotherstonReader in Logic and Computation at University College LondonVerified email at ucl.ac.uk
Neil DalchauMicrosoft ResearchVerified email at microsoft.com
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Matthew LakinUniversity of New MexicoVerified email at cs.unm.edu
Vishwesh KulkarniUniversity of WarwickVerified email at warwick.ac.uk
Nikos GorogiannisFacebook, University of MiddlesexVerified email at mdx.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Oukseh LeeCodemind CoporationVerified email at codemind.co.kr
Radu GrigoreLecturer, University of KentVerified email at kent.ac.uk
Jongmin KimAssistant Professor, Pohang University of Science and Technology (POSTECH)Verified email at dna.caltech.edu
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Nikos TzevelekosQueen Mary, University of LondonVerified email at eecs.qmul.ac.uk
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Jules VillardImperial College LondonVerified email at imperial.ac.uk
Nicolas OuryVerified email at ed.ac.uk
Rasmus Lerchedahl Petersen
Microsoft Research
Verified email at microsoft.com