The Global Team page.

The "Syncronous Reactive Team", developing hard under the French Sunbelt ....
Esterel team members are software engineers and researchers, phD students from INRIA and
from the Center for Applied Mathematics of Ecole des Mines de Paris.

Also have a look at the Research Labs and People Pages.