Thématique du GDR RADIA: Contraintes-SAT
44 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 | CGI | Centre Génie Industriel - | https://www.imt-mines-albi.fr/fr/genie-industriel |
| 1 | CITI | Centre d'Innovation en Telecom et Informatique | https://www.citi-lab.fr/ |
| 11 | CRIL | Centre de Recherche en Informatique de Lens | http://www.cril.univ-artois.fr/ |
| 2 | Etranger | Laboratoires à l'Etranger | None |
| 4 | GREYC | Laboratoire de recherche en sciences du numérique | https://www.greyc.fr |
| 4 | Heudiasyc | Heuristique et Diagnostique des Systèmes Complexes | https://www.hds.utc.fr/ |
| 2 | I3S | Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis | https://www.i3s.unice.fr |
| 1 | IBENS | Institut de Biologie de l'École Normale Supérieure | https://www.ibens.bio.ens.psl.eu/ |
| 1 | INRAE Occitanie-Toulouse | Institut National de Recherche pour l'Agriculture, l'Alimentation et l'Environnement | None |
| 1 | Inria Lille | Centre Inria de l'Université de Lille | https://www.inria.fr/fr/centre-inria-de-luniversite-de-lille |
| 1 | INRIA Lyon | INRIA Lyon | https://www.inria.fr/fr/centre-inria-de-lyon |
| 1 | INRIA Rennes | INRIA Rennes | https://www.inria.fr/fr/centre-inria-universite-rennes |
| 3 | INRIA Saclay | INRIA Saclay | https://www.inria.fr/fr/centre-inria-de-saclay |
| 1 | Institut Fourier | Institut Fourier | https://www-fourier.univ-grenoble-alpes.fr |
| 1 | IPMC | Institut de Pharmacologie Moléculaire et Cellulaire | https://www.ipmc.cnrs.fr |
| 2 | IRIF | Institut de Recherche en Informatique Fondamentale | https://www.irif.fr/ |
| 2 | IRISA | Institut de Recherche en Informatique et Systèmes Aléatoires | https://www.irisa.fr/umr-6074 |
| 1 | IRIT | Institut de Recherche en Informatique de Toulouse | https://www.irit.fr |
| 1 | IRL JFLI | Japanese-French Laboratory for Informatics | https://jfli.cnrs.fr/ |
| 1 | L3I | Laboratoire Informatique, Image, Interaction | https://l3i.univ-larochelle.fr/ |
| 5 | LAAS-CNRS | Laboratoire d'analyse et d'architecture des systèmes | https://www.laas.fr/public/fr |
| 1 | LabHC | Laboratoire Hubert Curien | https://laboratoirehubertcurien.univ-st-etienne.fr/ |
| 1 | LaBRI | Laboratoire Bordelais de Recherche en Informatique | https://www.labri.fr |
| 1 | LAMIH | Laboratoire d'Automatique, de Mécanique et d'Informatique, industrielles et Humaines | https://www.uphf.fr/lamih |
| 3 | LERIA | Laboratoire d’étude et de recherche en informatique d’Angers | https://leria.univ-angers.fr/ |
| 1 | LGP | Laboratoire Génie de Production de l'École Nationale d'Ingénieurs de Tarbes | https://www.lgp.enit.fr/fr/lgp.html |
| 2 | 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 |
| 1 | LIMOS | Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes | https://limos.fr/presentation |
| 1 | LIP6 | LIP6 | https://www.lip6.fr |
| 1 | LIRIS | Laboratoire d'Informatique en Image et Systèmes d'information | https://liris.cnrs.fr |
| 2 | LIRMM | Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier | http://www.lirmm.fr |
| 3 | LIS | Laboratoire d'Informatique et systèmes | https://www.lis-lab.fr |
| 1 | LISPEN | Laboratoire d'Ingénierie des Systèmes Physiques Et Numériques | https://lispen.ensam.eu/ |
| 1 | LMF | Laboratoire Méthodes Formelles | https://lmf.cnrs.fr |
| 3 | LS2N | LABORATOIRE DES SCIENCES DU NUMÉRIQUE DE NANTES | https://www.ls2n.fr |
| 2 | MIS | Modélisation, Information et Systèmes | https://www.mis.u-picardie.fr |
| 1 | MISTEA | Mathématiques, Informatique et Statistique pour l’Environnement et l’Agronomie | https://www6.montpellier.inrae.fr/mistea/ |
| 5 | Non académique | Laboratoire non académique | None |
| 1 | QUARTZ | Laboratoire QUARTZ - EA 7393 | https://www.quartz-lab.fr/ |
| 2 | SAMOVAR | Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux | https://samovar.telecom-sudparis.eu |
| 1 | TIMC | Recherche Translationnelle et Innovation en Médecine et Complexité | https://www.timc.fr/ |
| 1 | U2IS | Unité d'Informatique et d'Ingénierie des Systèmes | http://u2is.ensta-paris.fr |
| Nbr pers. | Acronyme | Nom | Site web |
71 permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| JACQUENET Francois | Professeur de l'enseignement supérieur | Université Française | LabHC |
| PAULEVÉ Loïc | Directeur de recherche | CNRS | LaBRI |
| VISMARA Philippe | Professeur de l'enseignement supérieur | Recherche publique autre | MISTEA |
| TRILLING Laurent | Autre | Université Française | TIMC |
| PELTIER Nicolas | Chargé de recherche | CNRS | LIG |
| LAZAAR Nadjib | Maitre de conférences ou assimilé | Université Française | LIRMM |
| LE BERRE Daniel | Professeur de l'enseignement supérieur | Université Française | CRIL |
| HABET Djamal | Professeur de l'enseignement supérieur | Université Française | LIS |
| PAIN-BARRE Cyril | Maitre de conférences ou assimilé | Université Française | LIS |
| BOUFKHAD Yacine | Maitre de conférences ou assimilé | Université Française | IRIF |
| OGER Raphaël | Maitre de conférences ou assimilé | Université Française | CGI |
| ARTIGUES Christian | Directeur de recherche | CNRS | LAAS-CNRS |
| BARICHARD Vincent | Maitre de conférences ou assimilé | Université Française | LERIA |
| LALLOUET Arnaud | Autre | Recherche privée autre | Non académique |
| STÉPHAN Igor | Maitre de conférences ou assimilé | Université Française | LERIA |
| CODOGNET Philippe | Professeur de l'enseignement supérieur | Université Française | IRL JFLI |
| LAGRUE Sylvain | Professeur de l'enseignement supérieur | Université Française | Heudiasyc |
| LOPEZ Pierre | Directeur de recherche | CNRS | LAAS-CNRS |
| AMOUSSOU-GUENOU Yackolley | Maitre de conférences ou assimilé | Université Française | CEA LIST |
| YVARS Pierre-Alain | Professeur de l'enseignement supérieur | Université Française | QUARTZ |
| FERTIN Guillaume | Professeur de l'enseignement supérieur | Université Française | LS2N |
| SAUBION Frédéric | Professeur de l'enseignement supérieur | Université Française | LERIA |
| SOLNON Christine | Professeure de l'enseignement supérieur | Université Française | CITI |
| HUGUET Marie-José | Professeure de l'enseignement supérieur | Université Française | LAAS-CNRS |
| LECOUTRE Christophe | Professeur de l'enseignement supérieur | Université Française | CRIL |
| GARCIA Rémy | Autre | Recherche privée autre | Etranger |
| VIDAL Thierry | Maitre de conférences ou assimilé | Université Française | LGP |
| MALAPERT Arnaud | Maitre de conférences ou assimilé | Université Française | I3S |
| BALBIANI Philippe | Directeur de recherche | CNRS | IRIT |
| THOMAS Schiex | Directeur de recherche | Recherche publique autre | INRAE Occitanie-Toulouse |
| LI Chu-Min | Professeur de l'enseignement supérieur | Université Française | MIS |
| MARQUIS Pierre | Professeur de l'enseignement supérieur | Université Française | CRIL |
| DEMRI Stéphane | Directeur de recherche | CNRS | LMF |
| FLOQUET Julien | Chargé de recherche | Recherche privée autre | Non académique |
| RICHOUX Florian | Maitre de conférences ou assimilé | Université Française | LS2N |
| DUMBRAVA Stefania | Maitresse de conférences ou assimilée | Université Française | SAMOVAR |
| FAGES François | Directeur de recherche | INRIA | INRIA Saclay |
| SAGOT Marie-France | Directrice de recherche | INRIA | INRIA Lyon |
| VAGINAY Athénaïs | Maitresse de conférences ou assimilée | Université Française | GREYC |
| PY Matthieu | Maitre de conférences ou assimilé | Université Française | LIMOS |
| DONCESCU Andrei | Professeur de l'enseignement supérieur | Université Française | LAAS-CNRS |
| LARHLIMI Abdelhalimalim | Maitre de conférences ou assimilé | Université Française | LS2N |
| PELLEAU Marie | Maitresse de conférences ou assimilée | Université Française | I3S |
| GLORIAN Gael | Autre | Recherche privée autre | Non académique |
| GOTLIEB Arnaud | Autre | Recherche publique autre | INRIA Rennes |
| CARRAL David | Chargé de recherche | INRIA | LIRMM |
| DAO Thi-Bich-Hanh | Maitresse de conférences ou assimilée | Université Française | LIFO |
| ISOART Nicolas | Autre | Recherche privée autre | Non académique |
| OUALI Abdelkader | Maitre de conférences ou assimilé | Université Française | GREYC |
| SIEGEL Anne | Directrice de recherche | CNRS | IRISA |
| SOLIMAN Sylvain | Chargé de recherche | INRIA | INRIA Saclay |
| SAVOUREY David | Autre | CNRS | Heudiasyc |
| ERNOULT Xavier-Haja | Autre | Université Française | Institut Fourier |
| OUDALI Saliha | Autre | Recherche privée autre | L3I |
| RÉDA Clémence | Chargée de recherche | CNRS | IBENS |
| PELLIER Damien | Professeur de l'enseignement supérieur | Université Française | LIG |
| MENGUY Grégoire | Autre | Recherche publique autre | CEA LIST |
| GRASTIEN Alban | Autre | Recherche publique autre | CEA LIST |
| MITSOU Valia | Maitresse de conférences ou assimilée | Université Française | IRIF |
| HECHER Markus | Chargé de recherche | CNRS | CRIL |
| NIEHREN Joachim | Directeur de recherche | INRIA | Inria Lille |
| WALLON Romain | Maitre de conférences ou assimilé | Université Française | CRIL |
| NDIAYE Samba | Maitre de conférences ou assimilé | Université Française | LIRIS |
| VION Julien | Maitre de conférences ou assimilé | Université Française | LAMIH |
| DUBOIS Catherine | Professeure de l'enseignement supérieur | Université Française | SAMOVAR |
| SALHI Yakoub | Professeur de l'enseignement supérieur | Université Française | CRIL |
| CHMEISS Assef | Maitre de conférences ou assimilé | Université Française | CRIL |
| BRISOUX DEVENDEVILLE Laure | Maitresse de conférences ou assimilée | Université Française | MIS |
| PIETTE Cédric | Maitre de conférences ou assimilé | Université Française | CRIL |
| CAPELLI Florent | Maitre de conférences ou assimilé | Université Française | CRIL |
| ROUSSEL Olivier | Maitre de conférences ou assimilé | Université Française | CRIL |
| Nom | Statut | Employeur | Labo |
16 non permanent·e·s
| Nom | Statut | Employeur | Labo |
|---|---|---|---|
| BEAUCHAMP Aymeric | Doctorant | Université Française | LIFO |
| GAIGNE Jérome | Doctorant | Université Française | Heudiasyc |
| CHERIF Mohamed Sami | Attaché temporaire d'enseignement et de recherche | Université Française | LIS |
| RIDA Adam | Doctorant | Université Française | LIP6 |
| CUVELIER Thibaut | Post Doctorant | Recherche privée autre | Non académique |
| OLIVERI Ulysse | Doctorant | INRIA | IRISA |
| BEKKOUCHA Djawad | Doctorant | Université Française | GREYC |
| MAHOUT Maxime | Post Doctorant | Université Française | INRIA Saclay |
| OULHAJ Rima | Doctorante | Université Française | LISPEN |
| SIBOULET Emile | Doctorant | Recherche privée autre | LAAS-CNRS |
| MARCHAND Bertrand | Post Doctorant | Université Etrangère | Etranger |
| PORRACCIOLO Paola | Doctorante | Université Française | IPMC |
| LI Junkang | Doctorant | Recherche privée autre | GREYC |
| CAMU Thibault | Doctorant | Recherche privée autre | Heudiasyc |
| BOUGRON Joël | Doctorant | Recherche privée autre | U2IS |
| LEDAGUENEL Arthur | Post Doctorant | Recherche publique autre | CRIL |
| Nom | Statut | Employeur | Labo |