People
Project Everest is a joint project between Microsoft Research, INRIA Paris, Carnegie Mellon University, the MSR-INRIA joint center, The University of Edinburgh, MPI-SP, and the community at large. We have had many interns and collaborators from other institutions work on related projects as well.
Core team
- Benjamin Beurdouche (Mozilla)
- Karthikeyan Bhargavan (Inria Paris)
- Antoine Delignat-Lavaud (MSR Cambridge)
- Aymeric Fromherz (CMU)
- Cédric Fournet (MSR Cambridge)
- Sydney Gibson (CMU)
- Chris Hawblitzel (MSR Redmond)
- Cătălin Hriţcu (MPI-SP)
- Markulf Kohlweiss (University of Edinburgh)
- Natalia Kulatova (Inria Paris)
- Guido Martínez (CIFASIS-CONICET Rosario)
- Denis Merigoux (Inria Paris)
- Bryan Parno (CMU)
- Jonathan Protzenko (MSR Redmond)
- Marina Polubelova (Inria Paris)
- Tahina Ramananandro (MSR Redmond)
- Aseem Rastogi (MSR Bangalore)
- Nikhil Swamy (MSR Redmond)
- Christoph Wintersteiger (MSR Cambridge)
- Santiago Zanella-Béguelin (MSR Cambridge)
Alumni and other contributors
- Danel Ahman (University of Ljubljana)
- Cezar Constantin Andrici (MPI-SP and UAIC Iasi)
- Barry Bond (MSR Redmond)
- Jay Bosamiya (CMU)
- Joonwon Choi (MIT)
- Tej Chajed (MIT)
- Benjamin Dowling (Queensland University of Technology)
- Victor Dumitrescu (Nomadic Labs)
- Nick Giannarakis (Princeton University)
- Patrice Godefroid (MSR Redmond)
- Anitha Gollamudi (Harvard University)
- Niklas Grimm (Technische Universität Wien)
- Naman Gupta (MSR Bangalore)
- Nadim Kobeissi (Inria Paris)
- Konrad Kohbrok (Aalto University)
- Joseph Lallemand (IRISA)
- Théo Laurent (Inria Paris)
- Yao Li (UPenn)
- Kenji Maillard (Inria Paris and ENS Paris)
- Qunyan Mangus (MSR Redmond)
- Asher Manning (Zen Protocol)
- Dan Matichuk (NICTA)
- Leonardo de Moura (MSR Redmond)
- Monal Narasimhamurthy (University of Colorado Boulder)
- Haobin Ni (Cornell)
- Zoe Paraskevopoulou (Princeton University)
- Clément Pit-Claudel (MIT)
- Ashay Rane (University of Texas at Austin)
- Itsaka Rakotonirina (Inria Nancy Grand-Est)
- Exequiel Rivas (Inria Paris)
- Olivier Savary Bélanger (Princeton University)
- Zhe Tao (University of California, Davis)
- Aditya V. Thakur (University of California, Davis)
- Laure Thompson (Cornell University)
- Gustavo Varo (MSR Redmond)
- Kapil Vaswani (MSR Cambridge)
- Peng (Perry) Wang (MIT)
- Théo Winterhalter (MPI-SP)
- Jean-Karim Zinzindohoué (Inria Paris)
- Yi Zhou (CMU)