Organisation
Le GDR GPL est structuré en deux pôles, regroupant chacun plusieurs groupes de travail :
La direction du GDR s'organise comme suit:
- Un pôle "Langages et Vérification" s'intéressant aux problématiques liées aux langages de programmation, aux objets, au parallélisme, à la compilation et à la vérification.
- Un pôle "Développement de Logiciel" s'intéressant aux méthodes, techniques et outils de développement logiciel, depuis l'ingénierie des besoins, jusqu'à la validation.
La direction du GDR s'organise comme suit:
- Une directrice du GDR :
- Mireille Blay-Fornarino, Professeur à l’Université Nice Côte d'Azur et au laboratoire I3S
- Une co-directrice :
- Catherine Dubois, Professeur à l'ENSIIE et au laboratoire SAMOVAR
- Des responsables de pôles
- Pour le pôle "Langages et Vérification" :
- Catherine Dubois, Professeur à l'ENSIIE et au laboratoire SAMOVAR
- Nikolaï Kosmatov, Chercheur à Thalès Research and Technology
- Pour le pôle "Développement de Logiciel"
- Jean-Michel Bruel, Professeur à l'Université de Toulouse, laboratoire IRIT
- Olivier Barais, Professeur à l'Université de Rennes et au laboratoire IRISA
- Pour le pôle "Langages et Vérification" :
- Le responsable des relations internationales
- Jean-Marc Jezequel, Professeur à l'Université Rennes 1, laboratoire IRISA
- Le responsable des relations avec les entreprises et instituts
- Xavier Blanc, Professeur à l'Université de Bordeaux et au laboratoire LABRI
- Le responsable de la communication :
- Yves Ledru, Professeur à l'Université Grenoble Alpes et au laboratoire LIG
- La responsable de l'Ecole des Jeunes Chercheurs en Programmation
- Laure Gonnord, Professeur à Grenoble INP et au laboratoire LCIS
- La Présidente du comité scientifique
- Florence Maraninchi, Professeur à Grenoble INP et au laboratoire Vérimag
- Florence Maraninchi, Professeur à Grenoble INP et au laboratoire Vérimag
Ces personnes constituent le comité de direction du GDR.
A cela s'ajoutent deux référents :
- Sophie Chabridon est référente parité pour notre GDR auprès du CNRS
- Jean-Michel Bruel est référent Europe pour notre GDR auprès du CNRS
Le comité scientifique a pour mission principale de donner son avis sur les actions du GDR, en particulier lors d’appels à actions spécifiques ou d’actions prospectives pour participer à l’évaluation des propositions. Il se réunira une fois par an lors des journées nationales avec le bureau du GDR GPL et les responsables des groupes de travail et actions transverses pour faire le bilan de l’année, mais également pour proposer de nouvelles actions.
Les missions du Comité Scientifique sont détaillées dans ce document.
Membres du comité scientifique :
- Franck Barbier (LIUPPA, Pau)
- Sandrine Blazy (IRISA, Rennes)
- Benoit Baudry (KTH Royal Institute of Technology in Stockholm, Sweden)
- Roberto Di Cosmo (PPS, Paris VII)
- Stéphane Ducasse (INRIA, Lille)
- Laurence Duchien (CRIStAL, Lille)
- Jean-Christophe Filliatre (LRI, Ile de France)
- Jean-Louis Giavitto (IRCAM, Paris)
- Yann-Gaël Guéhéneuc (Polytech, Montréal)
- Olivier Hermant (Mines Paris)
- Marianne Huchard (LIRMM, Montpellier)
- Régine Laleau (LACL, Paris-Est Créteil)
- Pascale Le Gall (MAS, Centrale Paris)
- Pierre-Etienne Moreau (LORIA, Nancy)
- Dominique Méry (LORIA, Nancy)
- Julien Signoles (CEA LIST, Paris)