Le Laboratoire Méthodes Formelles (LMF) est né le 1er janvier 2021 de la volonté politique de ses tutelles - Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria et CentraleSupélec - de créer un pôle ciblé sur les méthodes formelles. Le LMF est formé du Laboratoire Spécification et Vérification (LSV, ENS Paris-Saclay, CNRS, Inria) et de l’équipe Vals du Laboratoire de Recherche en Informatique (LRI, Université Paris-Saclay, CNRS, Inria, CentraleSupélec) soit une centaine de personnes.
Son ambition est d’éclairer le « monde numérique » grâce à la logique mathématique en utilisant les méthodes formelles comme outil d’analyse, de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie sur des paradigmes de calcul des plus classiques aux plus novateurs comme l’informatique quantique.
Le LMF est structuré en pôles : son cœur de métier en comporte deux, « Preuves » et « Modèles » ; le troisième, « Interactions », est une ouverture à d’autres domaines tels que l’IA et la biologie.
Company Details
- Employees
- 15
- Founded
- -
- Address
- 4, Avenue Des Sciences, Gif-Sur-Yvette,île-De-France 91190,france
- Industry
- Research Services
- NAICS
-
Scientific Research and Development ServicesResearch and Development in the Physical, Engineering, and Life SciencesResearch and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Website
- https://lmf.cnrs.fr
- Keywords
- Méthodes formelles.
- HQ
- Gif-sur-Yvette, Île-de-France
Lmf - Laboratoire Méthodes Formelles Questions
Lmf - Laboratoire Méthodes Formelles's website is https://lmf.cnrs.fr
Lmf - Laboratoire Méthodes Formelles's LinkedIn profile is https://fr.linkedin.com/company/laboratoire-m%C3%A9thodes-formelles
Lmf - Laboratoire Méthodes Formelles has
15 employees.
View email and phone details for 15
employees at Lmf - Laboratoire Méthodes Formelles.
Lmf - Laboratoire Méthodes Formelles's industry is
Research Services
Lmf - Laboratoire Méthodes Formelles's top competitors are
Ips2,
Perfect City Events - A Lmf Company,
Eviden,
Institut Imagine,
Lisn - Laboratoire Interdisciplinaire Des Sciences Du Numérique,
Leafy,
France Biotech,
Centre De Recherche En Epidémiologie, Microbiologie Et De Soins Médicaux,
Eurobio Scientific Fr,
Cnrs.
Lmf - Laboratoire Méthodes Formelles's categories are Research Services
Lmf - Laboratoire Méthodes Formelles's founding year is 2021
