Get my own profile
Public access
View all6 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 IOHKVerified email at inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
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
Will PartainVerified email at parple.org
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
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
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Hans SvenssonQuviq ABVerified email at quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Follow
John Hughes
Professor of Computer Science and Engineering, Chalmers University
Verified email at chalmers.se