Crea el meu perfil
Accés públic
Mostra-ho tot4 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Gabriele KellerUtrecht UniversityCorreu electrònic verificat a uu.nl
- Simon Peyton JonesEpic GamesCorreu electrònic verificat a epicgames.com
- Ben LippmeierGhost LocomotionCorreu electrònic verificat a ouroborus.net
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesCorreu electrònic verificat a h-ka.de
- Vinod GroverSr Distinguished Engineer, NVIDIA CorporationCorreu electrònic verificat a nvidia.com
- Simon MarlowFacebookCorreu electrònic verificat a fb.com
- Don StewartUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Yike GuoDept of CSE, The Hong Kong University of Science and TechnologyCorreu electrònic verificat a ust.hk
- Christopher Barner-KowollikQueensland University of Technology / Karlsruhe Institute of TechnologyCorreu electrònic verificat a qut.edu.au
- Tom SchrijversProfessor of Computer Science, KU LeuvenCorreu electrònic verificat a cs.kuleuven.be
- Sean SeefriedResearch Engineer, NICTACorreu electrònic verificat a nicta.com.au
- Kevin DonnellyGoogle Inc.Correu electrònic verificat a google.com
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Ryan NewtonMIT, Indiana University, FacebookCorreu electrònic verificat a indiana.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- David TereiStanford UniversityCorreu electrònic verificat a scs.stanford.edu
- Kevin ElphinstoneUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- David CockSenior Researcher, ETH ZurichCorreu electrònic verificat a cse.unsw.edu.au
- John DarlingtonProfessor of Computing, Imperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Martin KoehlerExternal Lecturer, Research Group Scientific Computing, University of ViennaCorreu electrònic verificat a walter-group.com
Segueix
Manuel M T Chakravarty
Tweag I/O & IOHK
Correu electrònic verificat a justtesting.org - Pàgina d'inici