Get my own profile
Public access
View all19 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Dimitrios VytiniotisDeepMindVerified email at google.com
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Alastair ReidSenior Principal EngineerVerified email at intel.com
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Tim HarrisMicrosoftVerified email at microsoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Christopher D. ClackUniversity College LondonVerified email at cs.ucl.ac.uk
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Ralf LämmelUniversity of KoblenzVerified email at uni-koblenz.de
Norman RamseyProfessor of Computer Science, Tufts UniversityVerified email at cs.tufts.edu
Andy GillCerebrasVerified email at cerebras.net
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu