English version
Yves LEDRU 
Laboratoire
d'Informatique de Grenoble
(LIG)
Bureau D 323
Domaine Universitaire
BP 72
F-38402 St Martin D'Hères Cedex
France
Tel : (+33) 4 76 82 72 16
Fax : (+33) 4 76 82 72 87
Adresse électronique : Yves.Ledru@imag.fr
Fonctions
Domaines de recherche
- Génie logiciel (Modélisation et
Spécification, Architecture Logicielle, Test)
- Méthodes formelles - (notamment JML,
VDM
, Z)
- Outils développés dans l'équipe: RoZ,
Tobias
Responsabilités
- Responsable scientifique de l'ARC6
: Technologies de l'Information et de la Communication et usages
informatiques innovants, de la région Rhône-Alpes, depuis 2011
- Responsable du cluster de
recherche "Informatique, Signal,
Logiciel Embarqué" de la région Rhône-Alpes de
2007 à 2010
- Co-responsable du projet iPOTest
consacré au test de services domotiques
- Membre du comité de pilotage de la
conférence ASE
(Automated Software Engineering) (président de ce comité
de 2001 à 2007) et membre du comité de pilotage
de SOQUA
(2005-2008)
- Membre du comité de programme des conférences MEDI'12, CAL'12,
WISSE'12,
AFADL'12,
ERTS2012, Journée Lignes de Produits 2011,
MEDI 2011,
WISSE'11,
CAL'11,
Scenarios'11,
CAL'10, ERTS 2010, AFADL 2010,
FM2009,
AWSEC09,
LMO'09,
AFADL'09,
CAL'09, ABZ08,
REMOD08
, CAL 08,
ERTS08, ISOLA07,
SOQUA'07, INFORSID'07,
ZUM2007,
AFADL 2007,
- Membre de l'Expert Review Panel de ASE 2009, ASE 2010, ASE
2011, ASE 2012
- Co-responsable (2001-2004) avec Marie-Laure Potet du groupe de travail AFADL
du GDR
ALP
- Ancien responsable du projet EDEMOI
de l'ACI Sécurité Informatique (2003-2007)
Direction de thèses
- Sophie
Dupuy (2000)
- Rémy
Sanlaville (2002)
- Pierre Bontron (2005)
- Olivier Maury (2005)
- Akram
Idani (2006)
- Eduardo Lopez-Ruiz (2010)
- Nafees Qamar (2011)
- Mohamed Amine Labiadh (en cours)
- Taha Triki (en cours)
Quelques pointeurs intéressants
Quelques évènements passés auxquels j'ai
contribué ...
Autres liens
English version