GT TONES
- Responsable : BEN KHALIFA Dorra
- Site web : None
Description : Groupe thématique regroupant les personnes intéressées par les aspects des sciences du logiciel en lien avec l'optimisation et la vérification de systèmes critiques.
19 laboratoires
| Nbr pers. | Acronyme | Nom | Site web |
|---|---|---|---|
| 3 | CEA LIST | Laboratoire d'Intégration de Systèmes et de Technologies | https://list.cea.fr/ |
| 1 | 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 |
| 4 | ENAC LAB | ENAC LAB | https://www.enac.fr/fr/les-quatre-equipes-de-recherche |
| 1 | IBS | Institut de Biologie Structurale | https://www.ibs.fr |
| 1 | Inria Lille | Centre Inria de l'Université de Lille | https://www.inria.fr/fr/centre-inria-de-luniversite-de-lille |
| 2 | IRISA | Institut de Recherche en Informatique et Systèmes Aléatoires | https://www.irisa.fr/umr-6074 |
| 6 | IRIT | Institut de Recherche en Informatique de Toulouse | https://www.irit.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/ |
| 3 | LIFO | Laboratoire d'Informatique Fondamentale d'Orléans | https://www.univ-orleans.fr/lifo/ |
| 1 | LIP | Laboratoire de l'informatique du parallélisme | http://www.ens-lyon.fr/LIP/ |
| 1 | LIP6 | LIP6 | https://www.lip6.fr |
| 1 | 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 | LMF | Laboratoire Méthodes Formelles | https://lmf.cnrs.fr |
| 3 | LS2N | LABORATOIRE DES SCIENCES DU NUMÉRIQUE DE NANTES | https://www.ls2n.fr |
| 1 | ONERA | Office Nationale Étude et Recherche en Aérospatiale | None |
| 1 | VERIMAG | VERIMAG | https://www-verimag.imag.fr/?lang=en |
| Nbr pers. | Acronyme | Nom | Site web |
29 permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| NIOBET Wilfrid | Ingénieur.e | CNRS | IBS |
| HURAULT Aurélie | Professeure de l'enseignement supérieur | Université Française | IRIT |
| RACLET Jean-Baptiste | Maitre de conférences ou assimilé | Université Française | IRIT |
| URBAIN Xavier | Professeur de l'enseignement supérieur | Université Française | LIRIS |
| ARIAS Jaime | Autre | CNRS | LIPN |
| BEN KHALIFA Dorra | Maitresse de conférences ou assimilée | Université Française | ENAC LAB |
| LOULERGUE Frédéric | Professeur de l'enseignement supérieur | Université Française | LIFO |
| ROUX Pierre | Chargé de recherche | Recherche publique autre | ONERA |
| BOLDO Sylvie | Directrice de recherche | INRIA | LMF |
| MARTEL Matthieu | Professeur de l'enseignement supérieur | Université Française | LAMPS |
| FORGET Julien | Maitre de conférences ou assimilé | Université Française | CRISTAL |
| LE GUERNIC Gurvan | Autre | Recherche publique autre | IRISA |
| MAIZA Claire | Maitresse de conférences ou assimilée | Université Française | VERIMAG |
| LALEAU Regine | Professeure de l'enseignement supérieur | Université Française | LACL |
| BOURKE Timothy | Chargé de recherche | INRIA | DIENS |
| PANTEL Marc | Maitre de conférences ou assimilé | Université Française | IRIT |
| MONAT Raphaël | Chargé de recherche | INRIA | Inria Lille |
| PERRELLE Valentin | Autre | Recherche publique autre | CEA LIST |
| FAUCOU Sébastien | Maitre de conférences ou assimilé | Université Française | LS2N |
| GAROCHE Pierre-Loic | Professeur de l'enseignement supérieur | Recherche publique autre | ENAC LAB |
| PESIN Basile | Autre | Université Française | ENAC LAB |
| PUAUT Isabelle | Professeure de l'enseignement supérieur | Université Française | IRISA |
| AMALOU Abderaouf Nassim | Maitre de conférences ou assimilé | Université Française | LS2N |
| HLADIK Pierre-Emmanuel | Maitre de conférences ou assimilé | Université Française | LS2N |
| KORDON Fabrice | Professeur de l'enseignement supérieur | Université Française | LIP6 |
| SYLVESTRE Loïc | Maitre de conférences ou assimilé | Université Française | IRIT |
| QUEINNEC Philippe | Professeur de l'enseignement supérieur | Université Française | IRIT |
| DABROWSKI Frédéric | Maitre de conférences ou assimilé | Université Française | LIFO |
| FAYOLLAS Camille | Maitresse de conférences ou assimilée | Université Française | IRIT |
| Nom | Statut | Employeur | Labo |
5 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 |
| BORTOLUSSI Julien | Doctorant | Université Française | ENAC LAB |
| CLOUET Myriam | Post Doctorante | Recherche publique autre | LIFO |
| SIRON Fabien | Post Doctorant | Recherche publique autre | CEA LIST |
| Nom | Statut | Employeur | Labo |