Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Alastair ReidSenior Principal EngineerVerified email at intel.com
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Will PartainVerified email at parple.org
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Hans SvenssonQuviq ABVerified email at quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Follow
John Hughes
Professor of Computer Science and Engineering, Chalmers University
Verified email at chalmers.se