Get my own profile
Co-authors
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.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
- John LaunchburyChief Scientist, GaloisVerified email at galois.com
- Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
- Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
- Alastair ReidStaff Research ScientistVerified email at google.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
- Nick SmallboneChalmers University of TechnologyVerified email at chalmers.se
- Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers University of TechnologyVerified email at chalmers.se
- Will PartainVerified email at parple.org
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Ulf NorellUniversity of GothenburgVerified email at chalmers.se
- Nick BentonEngineering Manager, FacebookVerified email at fb.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 csp.mpg.de
- Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
John Hughes
Professor of Computer Science and Engineering, Chalmers University
Verified email at chalmers.se