Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Simon Peyton JonesEpic GamesVerified email at epicgames.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
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
John LaunchburyChief Scientist, GaloisVerified email at galois.com
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Eric EideUniversity of Utah Kahlert School of ComputingVerified email at cs.utah.edu
Giacomo GabrielliDistinguished Engineer, ArmVerified email at arm.com
Stuart BilesFellow, ARMVerified email at arm.com
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Kirk WebbUniversity of UtahVerified email at cs.utah.edu
Krisztián FlautnerUtopiun LLCVerified email at utopiun.com
Shaked FlurCambridge UniversityVerified email at cl.cam.ac.uk
Trevor MudgeBredt Family Professor of Engineering, University of MichiganVerified email at eecs.umich.edu
Scott MahlkeProfessor, Electrical Engineering and Computer Science Dept., University of MichiganVerified email at umich.edu
Robert NortonUniversity of CambridgeVerified email at cl.cam.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk