GT LVP
- Responsable : GIORGETTI Alain
- Responsable : SIGNOLES Julien
- Site web : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Langages%20et%20v%C3%A9rification%20de%20programmes%20%28LVP%29/
43 laboratoires
Nbr pers. | Acronyme | Nom | Site web |
---|---|---|---|
14 | CEA LIST | Laboratoire d'Intégration de Systèmes et de Technologies | https://list.cea.fr/ |
1 | CÉDRIC | Centre d'études et de recherche en informatique et communications | http://cedric.cnam.fr |
1 | CNES | Centre national d’études spatiales | https://cnes.fr/ |
4 | CRISTAL | Centre de Recherche en Informatique, Signal, et Automatique de Lille | https://www.cristal.univ-lille.fr |
1 | DIENS | Département d'Informatique de l'ENS | https://www.di.ens.fr |
3 | ENAC LAB | ENAC LAB | https://www.enac.fr/fr/les-quatre-equipes-de-recherche |
7 | Etranger | Laboratoires à l'Etranger | None |
3 | FEMTO-ST | Franche-Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies | https://www.femto-st.fr/ |
3 | I3S | Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis | https://www.i3s.unice.fr |
2 | ICube | Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie | https://icube.unistra.fr |
2 | Inria Lille | Centre Inria de l'Université de Lille | https://www.inria.fr/fr/centre-inria-de-luniversite-de-lille |
2 | INRIA Nancy | INRIA Nancy | https://www.inria.fr/fr/centre-inria-nancy-grand-est |
4 | INRIA Paris | INRIA Paris | https://www.inria.fr/fr/centre-inria-de-paris |
3 | INRIA Rennes | INRIA Rennes | https://www.inria.fr/fr/centre-inria-universite-rennes |
2 | INRIA UCA | INRIA Université Côte d'Azur | https://www.inria.fr/fr/centre-inria-universite-cote-azur |
6 | IRIF | Institut de Recherche en Informatique Fondamentale | https://www.irif.fr/ |
10 | IRISA | Institut de Recherche en Informatique et Systèmes Aléatoires | https://www.irisa.fr/umr-6074 |
5 | IRIT | Institut de Recherche en Informatique de Toulouse | https://www.irit.fr |
1 | IRT Saint Exupéry | Institut de Recherche Technologique Saint Exupéry | https://www.irt-saintexupery.com/ |
1 | ISAE SUPAERO | Institut Supérieur de l'Aéronautique et de l'Espace | http://www.isae-supaero.fr |
1 | Lab-STICC | Laboratoire des Sciences et Techniques de l'information de la Communication et de la Connaissance | https://labsticc.fr/ |
2 | LaBRI | Laboratoire Bordelais de Recherche en Informatique | https://www.labri.fr |
1 | LACL | Laboratoire d’Algorithmique, Complexité et Logique | http://www.lacl.fr/ |
1 | LAMPS | Laboratoire de Modélisation Pluridisciplinaire et Simulation | https://lamps.univ-perp.fr/ |
5 | LIFO | Laboratoire d'Informatique Fondamentale d'Orléans | https://www.univ-orleans.fr/lifo/ |
2 | LIG | Laboratoire d'Informatique de Grenoble | https://www.liglab.fr |
4 | LIP | Laboratoire de l'informatique du parallélisme | http://www.ens-lyon.fr/LIP/ |
3 | LIP6 | LIP6 | https://www.lip6.fr |
8 | LIPN | Laboratoire d'Informatique de Paris Nord | https://lipn.univ-paris13.fr |
1 | LIRIS | Laboratoire d'Informatique en Image et Systèmes d'information | https://liris.cnrs.fr |
1 | LIRMM | Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier | http://www.lirmm.fr |
17 | LMF | Laboratoire Méthodes Formelles | https://lmf.cnrs.fr |
5 | LORIA | Laboratoire Lorain de recherche en informatique et ses applications | https://www.loria.fr/fr/la-recherche/ |
3 | LRE | Laboratoire de Recherche de l'EPITA | https://www.lre.epita.fr/ |
2 | LS2N | LABORATOIRE DES SCIENCES DU NUMÉRIQUE DE NANTES | https://www.ls2n.fr |
1 | LTCI | Laboratoire de Traitement et Communication de l'Information | https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci |
2 | MICS | Laboratoire de Mathématiques et Informatique pour la Complexité et les Systèmes | http://www.mics.centralesupelec.fr/ |
4 | Non académique | Laboratoire non académique | None |
1 | ONERA | Office Nationale Étude et Recherche en Aérospatiale | None |
4 | SAMOVAR | Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux | https://samovar.telecom-sudparis.eu |
1 | STMS | Sciences et Technologies de la Musique et du Son | https://www.stms-lab.fr |
6 | VERIMAG | VERIMAG | https://www-verimag.imag.fr/?lang=en |
1 | XLIM | XLIM | https://www.xlim.fr/ |
Nbr pers. | Acronyme | Nom | Site web |
106 permanent·e·s
Nom | Statut | Employeur | Labo |
---|---|---|---|
SIGNOLES Julien | Directeur de recherche | Recherche publique autre | CEA LIST |
MAGAUD Nicolas | Professeur de l'enseignement supérieur | Université Française | ICube |
DELAHAYE David | Professeur de l'enseignement supérieur | Université Française | LIRMM |
DE BOUTRAY Henri | Autre | Recherche privée autre | FEMTO-ST |
KELLER Chantal | Maitresse de conférences ou assimilée | Université Française | LMF |
BOLDO Sylvie | Directrice de recherche | INRIA | LMF |
GIAVITTO Jean-Louis | Directeur de recherche | CNRS | STMS |
MALLET Frédéric | Professeur de l'enseignement supérieur | Université Française | I3S |
MINÉ Antoine | Professeur de l'enseignement supérieur | Université Française | LIP6 |
MONAT Raphaël | Chargé de recherche | INRIA | Inria Lille |
DUMBRAVA Stefania | Maitresse de conférences ou assimilée | Université Française | SAMOVAR |
POLITO Guillermo | Chargé de recherche | INRIA | CRISTAL |
LEMERRE Matthieu | Autre | Recherche publique autre | CEA LIST |
BLAZY Sandrine | Professeure de l'enseignement supérieur | Université Française | IRISA |
MARCHÉ Claude | Directeur de recherche | INRIA | LMF |
PANTEL Marc | Maitre de conférences ou assimilé | Université Française | IRIT |
MERZ Stephan | Directeur de recherche | INRIA | INRIA Nancy |
DEMANGE Delphine | Maitresse de conférences ou assimilée | Université Française | IRISA |
CHEMOUIL David | Autre | Recherche publique autre | ONERA |
MONNIAUX David | Directeur de recherche | CNRS | VERIMAG |
GENET Thomas | Professeur de l'enseignement supérieur | Université Française | IRISA |
PREVOSTO Virgile | Autre | Recherche publique autre | CEA LIST |
ARIAS Jaime | Autre | CNRS | LIPN |
DUBOIS Catherine | Professeure de l'enseignement supérieur | Université Française | SAMOVAR |
FONTAINE Pascal | Professeur de l'enseignement supérieur | Université Etrangère | Etranger |
JAUME Mathieu | Maitre de conférences ou assimilé | Université Française | LIP6 |
BRANDNER Florian | Maitre.esse de Conférences ou assimilé.e | Université Française | LTCI |
DAGAND Pierre-Evariste | Chargé de recherche | CNRS | IRIF |
BOUKIR Khaoula | Maitresse de conférences ou assimilée | Université Etrangère | Etranger |
COHEN Julien | Maitre de conférences ou assimilé | Université Française | LS2N |
TREINEN Ralf | Professeur de l'enseignement supérieur | Université Française | IRIF |
GIORGETTI Alain | Professeur de l'enseignement supérieur | Université Française | FEMTO-ST |
FILALI-AMINE Mamoun | Chargé de recherche | CNRS | IRIT |
CIRSTEA Horatiu | Professeur de l'enseignement supérieur | Université Française | LORIA |
LOULERGUE Frédéric | Professeur de l'enseignement supérieur | Université Française | LIFO |
ANDRIANARIVELO Nirina | Maitre de conférences ou assimilé | Université Française | LIFO |
TOUILI Tayssir | Directrice de recherche | CNRS | LIPN |
PEYRAS Quentin | Maitre de conférences ou assimilé | Recherche privée autre | LRE |
MAYERO Micaela | Maitresse de conférences ou assimilée | Université Française | LIPN |
SIGHIREANU Mihaela | Professeure de l'enseignement supérieur | Université Française | LMF |
DI GIUSTO Cinzia | Maitresse de conférences ou assimilée | Université Française | I3S |
BOUTRY Pierre | Maitre de conférences ou assimilé | Université Française | ICube |
POTTIER François | Directeur de recherche | INRIA | INRIA Paris |
LEROY Xavier | Professeur de l'enseignement supérieur | Université Française | INRIA Paris |
LÉCHENET Jean-Christophe | Autre | INRIA | INRIA UCA |
GAVA Frédéric | Professeur de l'enseignement supérieur | Université Française | LACL |
HENRIO Ludovic | Chargé de recherche | CNRS | LIP |
PALIX Nicolas | Maitre de conférences ou assimilé | Université Française | LIG |
KOSMATOV Nikolai | Autre | Recherche privée autre | Non académique |
COHEN Albert | Directeur de recherche | Recherche privée autre | Non académique |
URBAIN Xavier | Professeur de l'enseignement supérieur | Université Française | LIRIS |
BUREL Guillaume | Maitre de conférences ou assimilé | Université Française | SAMOVAR |
RADANNE Gabriel | Chargé de recherche | INRIA | LIP |
BESSON Frédéric | Chargé de recherche | INRIA | INRIA Rennes |
ALBERTI Michele | Autre | Recherche publique autre | CEA LIST |
MONTAGU Benoît | Chargé de recherche | INRIA | INRIA Rennes |
PAULIN-MOHRING Christine | Professeure de l'enseignement supérieur | Université Française | LMF |
PICARD Celia | Autre | Recherche publique autre | ENAC LAB |
DABROWSKI Frédéric | Maitre de conférences ou assimilé | Université Française | LIFO |
LE GUERNIC Gurvan | Autre | Recherche publique autre | IRISA |
JENN Eric | Autre | Recherche privée autre | IRT Saint Exupéry |
BACH Jean-Christophe | Maitre de conférences ou assimilé | Université Française | Lab-STICC |
CORRENSON Loïc | Autre | Recherche publique autre | CEA LIST |
BENZAKEN Véronique | Professeure de l'enseignement supérieur | Université Française | LMF |
BOULMÉ Sylvain | Maitre de conférences ou assimilé | Université Française | VERIMAG |
FILLIÂTRE Jean-Christophe | Directeur de recherche | CNRS | LMF |
GAROCHE Pierre-Loic | Professeur de l'enseignement supérieur | Recherche publique autre | ENAC LAB |
BLANCHARD Allan | Autre | Recherche publique autre | CEA LIST |
MARONEZE André | Autre | Recherche publique autre | CEA LIST |
ATTIOGBE Christian | Professeur de l'enseignement supérieur | Université Française | LS2N |
GARION Christophe | Autre | Recherche publique autre | ISAE SUPAERO |
SCHLEHUBER-CAISSIER Philipp | Maitre de conférences ou assimilé | Université Française | SAMOVAR |
CASTAGNA Giuseppe | Directeur de recherche | CNRS | IRIF |
WINTERHALTER Théo | Chargé de recherche | INRIA | LMF |
FUCHS Laurent | Professeur de l'enseignement supérieur | Université Française | XLIM |
GHARBI Ghada | Maitresse de conférences ou assimilée | Recherche privée autre | LRE |
ILCINKAS David | Chargé de recherche | CNRS | LaBRI |
MELQUIOND Guillaume | Directeur de recherche | INRIA | LMF |
SEILLER Thomas | Chargé de recherche | CNRS | LIPN |
BLANQUI Frédéric | Directeur de recherche | INRIA | LMF |
COURTIEU Pierre | Maitre de conférences ou assimilé | Université Française | CÉDRIC |
TABARY Dorine | Maitre de conférences ou assimilé | Université Française | FEMTO-ST |
ZAKOWSKI Yannick | Chargé de recherche | INRIA | LIP |
MARTEL Matthieu | Professeur de l'enseignement supérieur | Université Française | LAMPS |
BARDIN Sébastien | Autre | Recherche publique autre | CEA LIST |
MAAREK Manuel | Maitre de conférences ou assimilé | Université Etrangère | Etranger |
MOUY Patricia | Directrice de recherche | Recherche publique autre | CEA LIST |
NOWAK David | Chargé de recherche | CNRS | CRISTAL |
GHANDOUR Walid | Maitre de conférences ou assimilé | Université Française | LRE |
RUSU Vlad | Chargé de recherche | INRIA | CRISTAL |
FROMHERZ Aymeric | Chargé de recherche | INRIA | INRIA Paris |
MARTIN-DOREL Erik | Maitre de conférences ou assimilé | Université Française | IRIT |
KERJEAN Marie | Chargée de recherche | CNRS | LIPN |
FONTAINE Arnaud | Autre | Recherche privée autre | Non académique |
LAPORTE Vincent | Chargé de recherche | INRIA | LORIA |
ALLIGNOL Cyril | Maitre de conférences ou assimilé | Recherche publique autre | ENAC LAB |
FARINIER Benjamin | Maitre de conférences ou assimilé | Université Française | IRISA |
JENSEN Thomas | Directeur de recherche | INRIA | INRIA Rennes |
TRIEU Alix | Autre | Recherche publique autre | Non académique |
MENGUY Grégoire | Autre | Recherche publique autre | CEA LIST |
ILIK Danko | Autre | Recherche publique autre | CNES |
SALAUN Gwen | Professeur de l'enseignement supérieur | Université Française | LIG |
CAILLER Julie | Maitre.esse de Conférences ou assimilé.e | Université Française | LORIA |
FREY Jonas | Maitre de conférences ou assimilé | Université Française | LIPN |
OUEDERNI Meriem | Directrice de recherche | Université Française | IRIT |
PAQUET Hugo | Chargé de recherche | INRIA | DIENS |
Nom | Statut | Employeur | Labo |
45 non permanent·e·s
Nom | Statut | Employeur | Labo |
---|---|---|---|
AUBRY Stéphane | Doctorant | Recherche publique autre | LIPN |
BAGREL Thomas | Doctorant | Recherche privée autre | LORIA |
BALLENGHIEN Benoît | Doctorant | Université Française | LMF |
BAUTISTA Santiago | Doctorant.e | Université Française | IRISA |
BENMAGHNIA Hanane | Post Doctorante | Recherche publique autre | CEA LIST |
BÉRARD Alexandre | Doctorant | Recherche publique autre | VERIMAG |
BLANCO Nicolas | Post Doctorant | Recherche publique autre | CEA LIST |
BONNEAU Benjamin | Doctorant | Université Française | VERIMAG |
CLEMENT Emily | Attachée temporaire d'enseignement et de recherche | Université Française | IRIF |
CLOUET Myriam | Post Doctorante | Recherche publique autre | LIFO |
DANIEL Lesly-Ann | Post Doctorante | Université Etrangère | Etranger |
DELAET Alain | Doctorant | INRIA | INRIA Paris |
DELPY Romain | Doctorant | Université Française | LaBRI |
FELICISSIMO Thiago | Doctorant | Université Française | LMF |
FERNET Laouen | Doctorant | Université Etrangère | Etranger |
FLOREA Andrei | Doctorant | Université Française | CRISTAL |
GALLEGO ARIAS Emilio Jesus | Post Doctorant | INRIA | IRIF |
GENEAU DE LAMARLIÈRE Paul | Doctorant | Recherche privée autre | LMF |
GOURDIN Léo | Doctorant | Université Française | VERIMAG |
GRIEU Anne | Doctorante | Université Française | IRIT |
ISCHARD Jordan | Doctorant | Université Française | LIFO |
KOEHLER Thomas | Post Doctorant | INRIA | INRIA Nancy |
LA SPINA Roméo | Doctorant | Université Française | IRISA |
LAURENT Mickael | Doctorant | Université Française | IRIF |
LAW Tony | Doctorant | Université Française | IRISA |
LEDEIN Amélie | Doctorante | INRIA | LMF |
LENNON-BERTRAND Meven | Post Doctorant.e | Université Etrangère | Etranger |
LESBRE Dorian | Doctorant | Recherche privée autre | CEA LIST |
LOSEKOOT Théo | Doctorant | Université Française | IRISA |
MARQUER Yoann | Post Doctorant | Université Etrangère | Etranger |
MOREAU Josué | Doctorant | INRIA | LMF |
MOSCA Caterina | Doctorante | Université Française | LIPN |
PASCUAL Romain | Post Doctorant | Université Etrangère | MICS |
PATAULT Paul | Doctorant | Université Française | LMF |
PEREIRA Romain | Post Doctorant | INRIA | LIP |
PESIN Basile | Post Doctorant | Université Française | VERIMAG |
PETITJEAN Quentin | Doctorant | Université Française | LMF |
REVEL Malo | Doctorant | Université Française | IRISA |
RICCIARDI Jérome | Doctorant | Recherche publique autre | CEA LIST |
SANWOUO CHEKAM Brell Peclard | Doctorant | INRIA | Inria Lille |
SIRON Fabien | Doctorant | Recherche privée autre | I3S |
STOLZE Claude | Post Doctorant | INRIA | INRIA UCA |
THOME Emilie | Doctorante | Université Française | LIP6 |
TRAVERSIÉ Thomas | Doctorant | Université Française | MICS |
TRÉLAT Vincent | Doctorant | INRIA | LORIA |
Nom | Statut | Employeur | Labo |