Laboratoire Méthodes Formelles

Research unit

Description

Contacts

  • Mrs Patricia BOUYER-DECITRE

https://lmf.cnrs.fr

Innovation themes

Map and access

4, avenue des Sciences
91190 GIF-SUR-YVETTE

Our research areas

Applications sectors

  • IT / software

Total number of employees

Total number of employees : 110
Number of researchers : 58
Number of doctoral students : 44

Our results

Ecosystem

Establishments of affiliation