Version
Française
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
E-mail : Yves.Ledru@imag.fr
Position
Research Interests
- Software Engineering (Specification and Modeling, Software
Architecture, Testing)
- Formal Methods -(JML,
VDM
, Z)
- Some tools developed by our team: RoZ,
Tobias
Other responsibilities
- Future responsible for the Academic Research
Community 6 : Information and Communication Technologiy, and innovative
use of informatics of the Rhône-Alpes region
- Responsible of ISLE research
cluster of the Rhône-Alpes
Region , dedicated to Computer Science, Signal, and Embedded Systems.
- Co-responsible of the iPOTest
project dedicated to the test of home automation services
- Member of the steering committee of the ASE
conference (Automated
Software Engineering; chair of the ASE Steering Committee 2001-2007)
and member of the steering committee of the SOQUA workshop
- Programme committee member for 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
- Member of the Expert Review Panel of ASE 2009, ASE 2010, ASE 2011
- Co-responsible with Marie-Laure Potet of the AFADL working group
with the ALP
GDR.
- Leader of the EDEMOI
project of the national aciSI programme
Past and present PhD Students
- Sophie
Dupuy (2000)
- Rémy
Sanlaville (2002)
- Pierre Bontron (2005)
- Olivier Maury (2005)
- Akram
Idani (2006)
- Eduardo Lopez (2010)
- Nafees Qamar (en cours)
- Mohamed Amine Labiadh (en cours)
- Taha Triki (en cours)
Some interesting events
Past events I contributed to...
Other links
Version Française