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

• Professor at the UFR IMAG of the  Université Joseph Fourier
• Member of the LIG Laboratory
  
• Head of the VASCO team
• Head of the commission Research Direction Habilitation for Computer Science and Applied Mathematics at the Université Joseph Fourier
• Director of the GDR GPL national research group of the CNRS

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

• 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'10, ERTS 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
• 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

Publications

Past and present PhD Students

• Sophie Dupuy (2000)
• Rémy Sanlaville (2002)
• Pierre Bontron (2005)
• Olivier Maury (2005)
• Akram Idani (2006)
• Amal Haddad (en cours)
  

Some interesting events

• The GDR GPL project
  
• The International Automated Software Engineering Conference
• Formal Methods Europe
• The AFADL working group and workshop

Past events I contributed to...

• RNTL POSE project
• SOQUA 2006
  
• Special issue of ERCIM news on Automated Software Engineering (2004)
  
• Workshop on the State of the Art in Automated Software Engineering (Irvine, 2002)
• Software Architecture day of the SEE-SIC "Objectif Zéro-Défaut"
• The 15th Automated Software Engineering Conference
• AFADL 2000
• The 12th Automated Software Engineering Conference
• IMAG at FM'99
• "Critical Software" exhibition

Other links

• The access control case study

Version Française