Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
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 ReidStaff Research ScientistVerified email at google.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
Mark P. JonesProfessor of Computer Science, Portland State UniversityVerified email at pdx.edu
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
Nick BentonEngineering Manager, FacebookVerified email at fb.com
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