Team members

Research Scientists

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

Doctoral Student

• Bastien Sauvage

Administrative Assistant

• Christine Claux [Inria]