People
Many people have contributed to F* over the years. The GitHub contributors page tracks all the contributors to the code.
The current core development team is:
- Guido Martínez (Microsoft Research, Redmond)
- Tahina Ramananandro (Microsoft Research, Redmond)
- Aseem Rastogi (Microsoft Research, Bangalore)
- Nikhil Swamy (Microsoft Research, Redmond)
Other active contributors currently include:
- Lucas Franceschino (INRIA Paris)
- Aymeric Fromherz (INRIA Paris)
- Jonathan Protzenko (Microsoft Research, Redmond)
Many others have contributed to the core ideas behind F*, its implementation, and its uses, and continue to do so, including:
- Alejandro Aguirre (IMDEA)
- Danel Ahman (University of Ljubljana)
- Abhishek Anand (Cornell)
- Cezar-Constantin Andrici (MPI-SP)
- Arvind Arasu (MSR Redmond)
- Gilles Barthe (IMDEA)
- Benjamin Beurdouche (Inria Paris)
- Karthikeyan Bhargavan (Inria Paris)
- Gavin Bierman (MSR Cambridge)
- Barry Bond (MSR Redmond)
- Jay Bosamiya (Carnegie Mellon University)
- Mateusz Bujalski
- Tej Chajed (MIT)
- Juan Chen (MSR Redmond)
- Pierre-Evariste Dagand (CNRS and LIP6)
- Antoine Delignat-Lavaud (MSR Cambridge)
- Victor Dumitrescu (Nomadic Labs)
- Simon Forest (ENS Paris)
- Cédric Fournet (MSR Cambridge)
- Benjamin Grégoire (Inria Sophia-Antipolis)
- Armaël Guéneau (Inria Paris and ENS Lyon)
- Chris Hawblitzel (MSR Redmond)
- Michael Hicks (University of Maryland)
- Cătălin Hriţcu (MPI-SP)
- Son Ho (INRIA Paris)
- Chantal Keller (Université Paris-Sud)
- Markulf Kohlweiss (University of Edinburgh)
- John Li (Northeastern)
- Tomer Libal (MSR-Inria Joint Centre)
- Jay Lorch (MSR Redmond)
- Kenji Maillard (Inria)
- Qunyan Mangus (MSR Redmond)
- Asher Manning (Zen Protocol)
- Leonardo de Moura (MSR Redmond, now AWS)
- Monal Narasimhamurthy (University of Colorado Boulder)
- Haobin Ni (Cornell)
- Samin Ishtiaq (MSR Cambridge)
- Denis Merigoux (Inria Paris)
- Zoe Paraskevopoulou (Princeton University)
- Bryan Parno (Carnegie Mellon University)
- Clément Pit-Claudel (MIT)
- Gordon Plotkin (University of Edinburgh)
- Marina Polubelova (Nomadic Labs)
- Michael Lowell Roberts (MSR Redmond)
- Jared Roesch (University of Washington)
- Cole Schlesinger (Princeton University)
- Pierre-Yves Strub (École Polytechnique)
- Gustavo Varo (MSR Redmond)
- Théophile Wallez (INRIA Paris)
- Joel Weinberger (UC Berkeley)
- Théo Winterhalter (MPI-SP)
- Christoph M. Wintersteiger (MSR Cambridge)
- Jean Yang (CMU)
- Peng (Perry) Wang (MIT)
- Santiago Zanella-Béguelin (MSR Cambridge)
- Jean-Karim Zinzindohoué (Inria Paris)