GT LVP
- Responsable : CAILLER Julie
- Responsable : SIGNOLES Julien
- Site web : None
Description : Groupe thématique regroupant les personnes intéressées par les aspects des sciences du logiciel en lien avec la vérification.
30 laboratoires
| Nbr pers. | Acronyme | Nom | Site web |
|---|---|---|---|
| 11 | 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 | CRI | Centre de Recherche en Informatique de Mines Paris | https://www.cri.mines-paristech.fr/ |
| 1 | DIENS | Département d'Informatique de l'ENS | https://www.di.ens.fr |
| 1 | I3S | Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis | https://www.i3s.unice.fr |
| 3 | ICube | Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie | https://icube.unistra.fr |
| 1 | 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 |
| 2 | INRIA Rennes | INRIA Rennes | https://www.inria.fr/fr/centre-inria-universite-rennes |
| 3 | IRIF | Institut de Recherche en Informatique Fondamentale | https://www.irif.fr/ |
| 4 | IRISA | Institut de Recherche en Informatique et Systèmes Aléatoires | https://www.irisa.fr/umr-6074 |
| 7 | IRIT | Institut de Recherche en Informatique de Toulouse | https://www.irit.fr |
| 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 | LACL | Laboratoire d’Algorithmique, Complexité et Logique | http://www.lacl.fr/ |
| 4 | LIFO | Laboratoire d'Informatique Fondamentale d'Orléans | https://www.univ-orleans.fr/lifo/ |
| 2 | LIP | Laboratoire de l'informatique du parallélisme | http://www.ens-lyon.fr/LIP/ |
| 3 | LIP6 | LIP6 | https://www.lip6.fr |
| 2 | 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 |
| 6 | LMF | Laboratoire Méthodes Formelles | https://lmf.cnrs.fr |
| 1 | LORIA | Laboratoire Lorain de recherche en informatique et ses applications | https://www.loria.fr/fr/la-recherche/ |
| 3 | 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 |
| 1 | MICS | Laboratoire de Mathématiques et Informatique pour la Complexité et les Systèmes | http://www.mics.centralesupelec.fr/ |
| 1 | Non académique | Laboratoire non académique | None |
| 2 | ONERA | Office Nationale Étude et Recherche en Aérospatiale | None |
| 2 | 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 |
| 1 | XLIM | XLIM | https://www.xlim.fr/ |
| Nbr pers. | Acronyme | Nom | Site web |
62 permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| HERMANT Olivier | Professeur de l'enseignement supérieur | Recherche publique autre | CRI |
| MAGAUD Nicolas | Professeur de l'enseignement supérieur | Université Française | ICube |
| OBER Iléana | Professeure de l'enseignement supérieur | Université Française | IRIT |
| ARCANGELI Jean-Paul | Maitre de conférences ou assimilé | Université Française | IRIT |
| BODEVEIX Jean-Paul | Professeur de l'enseignement supérieur | Université Française | IRIT |
| RACLET Jean-Baptiste | Maitre de conférences ou assimilé | Université Française | IRIT |
| MARINHO Dylan | Maitre de conférences ou assimilé | Université Française | LIP6 |
| URBAIN Xavier | Professeur de l'enseignement supérieur | Université Française | LIRIS |
| MINÉ Antoine | Professeur de l'enseignement supérieur | Université Française | LIP6 |
| ARIAS Jaime | Autre | CNRS | LIPN |
| PREVOSTO Virgile | Autre | Recherche publique autre | CEA LIST |
| WINTERHALTER Théo | Chargé de recherche | INRIA | LMF |
| MALLET Frédéric | Professeur de l'enseignement supérieur | Université Française | I3S |
| TRIEU Alix | Autre | Recherche publique autre | Non académique |
| BLANQUI Frédéric | Directeur de recherche | INRIA | LMF |
| LOULERGUE Frédéric | Professeur de l'enseignement supérieur | Université Française | LIFO |
| BRANDNER Florian | Maitre.esse de Conférences ou assimilé.e | Université Française | LTCI |
| KELLER Chantal | Maitresse de conférences ou assimilée | Université Française | LMF |
| GIAVITTO Jean-Louis | Directeur de recherche | CNRS | STMS |
| BOULANGER Frédéric | Professeur de l'enseignement supérieur | Université Française | LMF |
| ATTIOGBE Christian | Professeur de l'enseignement supérieur | Université Française | LS2N |
| ROUX Pierre | Chargé de recherche | Recherche publique autre | ONERA |
| BACH Jean-Christophe | Maitre de conférences ou assimilé | Université Française | Lab-STICC |
| PASCUAL Romain | Maitre de conférences ou assimilé | Recherche publique autre | MICS |
| BUREL Guillaume | Maitre de conférences ou assimilé | Université Française | SAMOVAR |
| MERZ Stephan | Directeur de recherche | INRIA | INRIA Nancy |
| KOEHLER Thomas | Chargé de recherche | CNRS | ICube |
| CASTAGNA Giuseppe | Directeur de recherche | CNRS | IRIF |
| COURTIEU Pierre | Maitre de conférences ou assimilé | Université Française | CÉDRIC |
| BOLDO Sylvie | Directrice de recherche | INRIA | LMF |
| CAILLER Julie | Maitre.esse de Conférences ou assimilé.e | Université Française | LORIA |
| DELAHAYE Benoit | Maitre de conférences ou assimilé | Université Française | LS2N |
| HENRIO Ludovic | Chargé de recherche | CNRS | LIP |
| GARION Christophe | Autre | Recherche publique autre | ISAE SUPAERO |
| MATTHES Ralph | Chargé de recherche | CNRS | IRIT |
| BOUTRY Pierre | Maitre de conférences ou assimilé | Université Française | ICube |
| HAINS Gaétan | Professeur de l'enseignement supérieur | Université Française | LACL |
| CHEMOUIL David | Directeur de recherche | Recherche publique autre | ONERA |
| LE GUERNIC Gurvan | Autre | Recherche publique autre | IRISA |
| BOURKE Timothy | Chargé de recherche | INRIA | DIENS |
| MONTAGU Benoît | Chargé de recherche | INRIA | INRIA Rennes |
| GENET Thomas | Professeur de l'enseignement supérieur | Université Française | IRISA |
| SIGNOLES Julien | Directeur de recherche | Recherche publique autre | CEA LIST |
| ALCOLEI Aurore | Maitre.esse de Conférences ou assimilé.e | Université Française | LACL |
| PANTEL Marc | Maitre de conférences ou assimilé | Université Française | IRIT |
| DEMANGE Delphine | Maitresse de conférences ou assimilée | Université Française | IRISA |
| SCHMITT Alan | Directeur de recherche | INRIA | INRIA Rennes |
| MARONEZE André | Autre | Recherche publique autre | CEA LIST |
| ALBERTI Michele | Autre | Recherche publique autre | CEA LIST |
| DUBOIS Catherine | Professeure de l'enseignement supérieur | Université Française | SAMOVAR |
| MENGUY Grégoire | Autre | Recherche publique autre | CEA LIST |
| VEDRINE Franck | Ingénieur | Recherche publique autre | CEA LIST |
| DUBOIS Hubert | Autre | Recherche publique autre | CEA LIST |
| BARDIN Sébastien | Autre | Recherche publique autre | CEA LIST |
| GIRARD-SATABIN Julien | Chargé de recherche | Recherche publique autre | CEA LIST |
| ARNAUD Mathilde | Autre | Recherche publique autre | CEA LIST |
| FUCHS Laurent | Professeur de l'enseignement supérieur | Université Française | XLIM |
| MONAT Raphaël | Chargé de recherche | INRIA | Inria Lille |
| CLEMENT Emily | Chargée de recherche | CNRS | LIPN |
| ANDRE Pascal | Maitre de conférences ou assimilé | Université Française | LS2N |
| WILKE Pierre | Maitre de conférences ou assimilé | Recherche publique autre | IRISA |
| MARCHÉ Claude | Directeur de recherche | INRIA | LMF |
| Nom | Statut | Employeur | Labo |
10 non permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| ARRIGHI Emmanuel | Post Doctorant | Université Française | LIP |
| BELLEC Nicolas | Post Doctorant | Recherche publique autre | CEA LIST |
| BERGERON Ghilain | Doctorant | INRIA | INRIA Nancy |
| CLASTRES Térence | Doctorant | Université Française | LIFO |
| CLOUET Myriam | Post Doctorante | Recherche publique autre | LIFO |
| GRIEU Anne | Doctorante | Université Française | IRIT |
| JEANMAIRE Paul | Post Doctorant | Université Française | LIP6 |
| LAURENT Mickael | Doctorant | Université Française | IRIF |
| LENNON-BERTRAND Meven | Post Doctorant.e | INRIA | IRIF |
| ZIANI Yani | Post Doctorant | Université Française | LIFO |
| Nom | Statut | Employeur | Labo |