Skip to content

Research facility · founded 2021

Laboratoire Méthodes Formelles

Gif-sur-Yvette, France · lmf.cnrs.fr

Part of École Normale Supérieure Paris-Saclay

Manage this page

Citations, last 5 years: 958
Works, last 5 years: 417
h-index: 24
Scientists listed: 0
Grants since 2016: 2

Strongest research topics

Logic, programming, and type systems240Computer Science
Formal Methods in Verification222Computer Science
semigroups and automata theory96Computer Science
Advanced Algebra and Logic77Computer Science
Quantum Computing Algorithms and Architecture67Computer Science
Petri Nets in System Modeling57Computer Science