People

Scientific Leader:
- Benjamin Werner [LIX - INRIA Saclay]
Project Assistant:
- Valérie Lecomte [LIX - INRIA Saclay]
Staff:
- Bruno Barras [LIX - INRIA Saclay]
- Gilles Dowek [INRIA]
- Germain Faure [LIX - INRIA Saclay]
- Assia Mahboubi [LIX - INRIA Saclay]
Research Engineer:
- Jean-Marc Notin [LIX - CNRS]
Invited or Associate Researchers:
- Ian Mackie [LIX - King's College, CNRS]
Current PhD students:
- Bruno Bernardo
- Cyril Cohen [LIX - INRIA Saclay]
- François Garillot [INRIA Saclay]
- Chantal Keller [LIX - INRIA Saclay]
- Victor Magron [LIX - INRIA Saclay]
- Pierre Néron [LIX - INRIA Saclay]
- Arnaud Spiwack [LIX - INRIA Paris Rocquencourt]

You can also have a look at some our former members of this project.

TypiCal