Get my own profile
Public access
View all38 articles
6 articles
available
not available
Based on funding mandates
Co-authors
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
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
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Alastair ReidSenior Principal EngineerVerified email at intel.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Tim HarrisMicrosoftVerified email at microsoft.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Christopher D. ClackUniversity College LondonVerified email at cs.ucl.ac.uk
Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Ralf LämmelFacebookVerified email at fb.com
Norman RamseyProfessor of Computer Science, Tufts UniversityVerified email at cs.tufts.edu