Get my own profile
Co-authors
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Dimitrios VytiniotisDeepMindVerified email at google.com
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
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 ReidStaff Research ScientistVerified email at google.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Tim HarrisAmazonVerified email at amazon.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 hs-karlsruhe.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