TypiCal

• Scientific Leader:
  • Benjamin Werner [LIX - INRIA Saclay]
• Project Assistant:
  • Lydie Fontaine [LIX - INRIA Saclay]
• Staff:
  • Bruno Barras [LIX - INRIA Saclay]
  • Gilles Dowek [LIX - Ecole Polytechnique]
  • 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:
  • Lisa Allali [Région Ile de France]
  • Bruno Bernardo [LIX]
  • Mathieu Boespflug [LIX]
  • Denis Cousineau [LIX]
  • Arnaud Spiwack [ENS Cachan]
  • Chantal Keller [LIX]
  • Cyril Cohen [LIX]
  • Éric Biagioli [LIX]

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