REMS-DeepSpec 2020 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (70)
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge |
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College London, UK |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Martin BodinBodin, Martin Imperial College LondonUnited Kingdom |
Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA |
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium |
Craig DisselkoenDisselkoen, Craig University of California at San Diego, USA |
Stephen DolanDolan, Stephen University of Cambridge, UK |
Anthony FoxFox, Anthony University of Cambridge, UK |
Victor B. F. GomesGomes, Victor B. F. University of Cambridge, UK |
Kathryn E. GrayGray, Kathryn E. FacebookUnited Kingdom |
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology |
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge |
Sung-Hwan LeeLee, Sung-Hwan Seoul National University, South KoreaSouth Korea |
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom |
Justus MatthiesenMatthiesen, Justus University of Cambridge |
Kayvan MemarianMemarian, Kayvan University of CambridgeIran |
Simon W. MooreMoore, Simon W. University of Cambridge |
Prashanth MundkurMundkur, Prashanth SRI International |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden |
Peter G. NeumannNeumann, Peter G. SRI InternationalUnited States |
Kyndylan NienhuisNienhuis, Kyndylan University of Cambridge |
Anton PodkopaevPodkopaev, Anton MPI-SWS, NRU HSE, JetBrains ResearchRussia |
Natalie PopescuPopescu, Natalie University of California San Diego |
Alastair ReidReid, Alastair Google ResearchUnited Kingdom |
John RennerRenner, John University of California at San Diego, USA |
Michael RoeRoe, Michael University of CambridgeUnited Kingdom |
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany |
Ji-Yong ShinShin, Ji-Yong Yale UniversityUnited States |
Deian StefanStefan, Deian University of California at San Diego, USA |
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |