-
Complex systems and software engineering
-
Digital
Laboratoire Méthodes Formelles
Research unit
Innovation themes
4, avenue des Sciences
91190 GIF-SUR-YVETTE
Applications sectors
- IT / software
Total number of employees
Total number of employees : 110
Number of researchers : 58
Number of doctoral students : 44
Number of researchers : 58
Number of doctoral students : 44
Establishments of affiliation
![](https://craft.bdi.fr/shared/1dc9b4c9-eccd-4f95-8934-f2690d51dee0/logo_univ_paris_saclay.png)
![](https://craft.bdi.fr/shared/f9b2d5cb-4e93-435e-ad32-fd8b36487273/LogoCS.png)
![](https://craft.bdi.fr/shared/d80f63ca-c039-4e00-9a11-6dd2727ee153/logo_ENS.jpg)
![](https://craft.bdi.fr/shared/b5a94ccf-ed11-4230-8102-187154ec7acd/logo-inria.png)