Show Menu
Hide Menu
Home
About
Scientific Influence
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Scientific Mediation
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
France 2030
ANR Projects
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Job Offers
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
Valorisation
Partnership
PARDI
Contact Pascal.Poizat (at)
null
lip6.fr
From 01/10/2016 to 12/31/2021
PARameterized DIstributed Systems Verification
INPT/IRIT (leader), Inria/LORIA, UPS/LRI, UPMC/LIP6
ANR
Pascal POIZAT