Team members

Research Scientists

• Laurent Hascoët [Team leader, Inria, Senior Researcher, HDR]
• Alain Dervieux [Inria, Emeritus, HDR]
• Valérie Pascual [Inria, Researcher]

Administrative Assistant

• Christine Claux [Inria]