GT Défi-AI4SE
- Responsable : OUEDERNI Meriem
- Responsable : GIORGETTI Alain
- Site web : None
Description : IA pour la Production Logicielle / AI for Software Engineering
Ce défi traite de la question : “Comment appliquer l’IA (et notamment l’IA générative)
pour construire des logiciels fiables?”. Il s’agit de proposer des méthodes et outils de génie logiciel intégrant de l’IA dédiée. Ce défi est très lié au défi SE4AIA selon
la logique suivante : Pour faire des logiciels de confiance en s’aidant de l’IA, il faut disposer d’une IA de confiance. Avec les avancées de l’IA, et particulièrement l’IA générative, il paraît intéressant de se poser la question de son utilisation dans la modélisation et la vérification formelles des logiciels, par exemple pour réduire la complexité de l’application des méthodes formelles. En résumé, les systèmes logiciels sont “par nature” difficiles à spécifier et à concevoir. L’objectif des méthodes formelles est de permettre de traiter cette complexité au moyen d’outils mathématiques. Un objectif majeur de l’IA pour les méthodes formelles est de réduire la complexité de la mise en œuvre de ces techniques pour les ingénieurs.
23 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 | CRAN | Centre de Recherche en Automatique de Nancy | http://www.cran.univ-lorraine.fr/ |
| 1 | CRIL | Centre de Recherche en Informatique de Lens | http://www.cril.univ-artois.fr/ |
| 1 | CRISTAL | Centre de Recherche en Informatique, Signal, et Automatique de Lille | https://www.cristal.univ-lille.fr |
| 1 | ENAC LAB | ENAC LAB | https://www.enac.fr/fr/les-quatre-equipes-de-recherche |
| 2 | Euromov DHM | Euromov Digital Health in Motion | https://dhm.euromov.eu/ |
| 3 | FEMTO-ST | Franche-Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies | https://www.femto-st.fr/ |
| 1 | IMT | Institut de Mathématiques de Toulouse | https://www.math.univ-toulouse.fr/ |
| 2 | Inria Lille | Centre Inria de l'Université de Lille | https://www.inria.fr/fr/centre-inria-de-luniversite-de-lille |
| 2 | INRIA Rennes | INRIA Rennes | https://www.inria.fr/fr/centre-inria-universite-rennes |
| 4 | IRISA | Institut de Recherche en Informatique et Systèmes Aléatoires | https://www.irisa.fr/umr-6074 |
| 4 | 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 | LaBRI | Laboratoire Bordelais de Recherche en Informatique | https://www.labri.fr |
| 1 | LIFO | Laboratoire d'Informatique Fondamentale d'Orléans | https://www.univ-orleans.fr/lifo/ |
| 1 | LIG | Laboratoire d'Informatique de Grenoble | https://www.liglab.fr |
| 1 | LIP6 | LIP6 | https://www.lip6.fr |
| 1 | LIPN | Laboratoire d'Informatique de Paris Nord | https://lipn.univ-paris13.fr |
| 1 | LIRMM | Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier | http://www.lirmm.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 | McScert | McMaster's Centre for Software Certification | https://www.eng.mcmaster.ca/mcscert/ |
| Nbr pers. | Acronyme | Nom | Site web |
37 permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| OBER Iléana | Professeure de l'enseignement supérieur | Université Française | IRIT |
| RACLET Jean-Baptiste | Maitre de conférences ou assimilé | Université Française | IRIT |
| ARIAS Jaime | Autre | CNRS | LIPN |
| PREVOSTO Virgile | Autre | Recherche publique autre | CEA LIST |
| DEGUEULE Thomas | Chargé de recherche | CNRS | LaBRI |
| ATTIOGBE Christian | Professeur de l'enseignement supérieur | Université Française | LS2N |
| ZACCHIROLI Stefano | Professeur de l'enseignement supérieur | Université Française | LTCI |
| LEDRU Yves | Professeur de l'enseignement supérieur | Université Française | LIG |
| CHAROY François | Professeur de l'enseignement supérieur | Université Française | LORIA |
| TEMPLE Paul | Maitre de conférences ou assimilé | Université Française | IRISA |
| LE BERRE Daniel | Professeur de l'enseignement supérieur | Université Française | CRIL |
| GOUBIER Thierry | Ingénieur | Recherche publique autre | CEA LIST |
| ACHER Mathieu | Professeur de l'enseignement supérieur | Université Française | IRISA |
| DUMOULIN Cedric | Maitre de conférences ou assimilé | Université Française | CRISTAL |
| OUEDERNI Meriem | Maitresse de conférences ou assimilée | Université Française | IRIT |
| ZIANE Mikal | Maitre de conférences ou assimilé | Université Française | LIP6 |
| MESSE Nan | Maitresse de conférences ou assimilée | Université Française | IRIT |
| JENN Eric | Autre | Recherche privée autre | IRT Saint Exupéry |
| SIGNOLES Julien | Directeur de recherche | Recherche publique autre | CEA LIST |
| DADEAU Frédéric | Maitre de conférences ou assimilé | Université Française | FEMTO-ST |
| MENGUY Grégoire | Autre | 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 |
| ANDRE Pascal | Maitre de conférences ou assimilé | Université Française | LS2N |
| MOSSER Sébastien | Autre | Université Etrangère | McScert |
| GIORGETTI Alain | Professeur de l'enseignement supérieur | Université Française | FEMTO-ST |
| RADERMACHER Ansgar | Directeur de recherche | Recherche publique autre | CEA LIST |
| BEN KHALIFA Dorra | Maitresse de conférences ou assimilée | Université Française | ENAC LAB |
| AMALOU Abderaouf Nassim | Maitre de conférences ou assimilé | Université Française | LS2N |
| NOYRIT Florian | Ingénieur | Recherche publique autre | CEA LIST |
| HUCHARD Marianne | Professeure de l'enseignement supérieur | Université Française | LIRMM |
| VOJTISEK Didier | Ingénieur | INRIA | INRIA Rennes |
| URTADO Christelle | Professeure de l'enseignement supérieur | Université Française | Euromov DHM |
| VAUTTIER Sylvain | Maitre de conférences ou assimilé | Recherche publique autre | IMT |
| ZENDRA Olivier | Chargé de recherche | INRIA | INRIA Rennes |
| LIU Yinling | Maitre de conférences ou assimilé | Université Française | CRAN |
| Nom | Statut | Employeur | Labo |
9 non permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| COIGNION Tristan | Doctorant | INRIA | Inria Lille |
| DAOUD Charbel | Doctorant | Université Française | Euromov DHM |
| JACQUIN Eléa | Doctorante | Université Française | FEMTO-ST |
| KOUADIO Hermann | Doctorant | Recherche privée autre | IRISA |
| MATRICON Théo | Post Doctorant | Université Française | IRISA |
| MATTAR Maykel | Doctorant | Recherche publique autre | CEA LIST |
| PONTES MIRANDA James | Post Doctorant | Recherche publique autre | CEA LIST |
| ZIANI Yani | Post Doctorant | Université Française | LIFO |
| ZINE Nada | Doctorante | INRIA | Inria Lille |
| Nom | Statut | Employeur | Labo |