-
Fri, 9 Oct 2009
-
Thu, 1 Jan 2009
-
Fri, 6 Feb 2009
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]