English version

Yves LEDRU 

Laboratoire d'Informatique de Grenoble (LIG)
Bureau 242 

LIG - Bâtiment IMAG
Université Grenoble Alpes
CS 40700
F-38058 Grenoble Cedex 9
France
Tel : (+33) 4 57 42 15 21
Adresse électronique : Yves.Ledru@imag.fr

Curriculum vitae (février 2023)

Fonctions

• Professeur à l'Université Grenoble Alpes (anciennement Université Joseph Fourier) et à l'UFR IM2AG
  
• Directeur Adjoint de l'UFR IM2AG
• Membre du Laboratoire LIG
  
• Responsable de l'équipe VASCO
• Membre du bureau du GDR GPL (Génie de la Programmation et du Logiciel) du CNRS

• Président de la sous-commission HDR  Mathématiques Appliquées et Informatique de l'Université de Grenoble de 2013 à 2017
• 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 jusque décembre 2017

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, B4MSecure, Tobias, ParTraP

Projets récents

• ANR Philae (2018-2022)
  
• ANR MODMED (2015-2019)
• Projet NExTRegio de l'IRT Railenium (2015-2019)
• PEPS INS3PECT (2017)
• ANR TASCCC  (2009-2012)
• ANR Selkis (2008-2012)

Responsabilités

• Co-président des Journées Nationales 2018 of GDR GPL
• Membre du comité de programme des conférences MEDI 2023, RSSRail 2023, MEDI 2022, CAL'22, SCPS'21, AFADL 2021, MEDI 2021, SecureMDE 2020, AFADL 2020, AFADL 2019, WETICE'19, MEDI 2019, SecureMDE2018, MEDI 2018, FM 2018, AFADL2018, SAC 2018, WETICE 2017, CIEL 2017,  MEDI 2017, AFADL 2017, FormaliSE 2017, SAC2017/SVT track, MEDI'16,  WETICE'16, CAL2016, FM 2016,   AFADL'16, WISSE'16, MEDI2016, FormaliSE 2016, INFORSID 2016,  MEDI2015, AFADL 2015, WISSE 2015,  FM 2015, FormaliSE 2015, JLDP 2014, FHIES/SEHC 2014, WETICE/FVSBS 2014, WISSE 2014, AFADL2014, FormaliSE2014, FM 2014, ERTS 2014, JLDP 2013,  MEDI 2013, CAL 2013, WETICE/FVSBS 2013, WISSE 2013, FormaliSE 2013, AFADL'13, JLDP 2012, CAL'12, WISSE'12, MEDI'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
  
• Membre de 1997 à 2013 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)
  

Publications

Supports de cours

• Introduction aux specifications formelles et à JML

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)
• Taha Triki (2013)
• Amira Radhouani (2017)
• Yoann Blein (2019)
• Asfand Yar (en cours)

Quelques pointeurs intéressants

• Le   cluster de recherche ISLE de la région Rhône-Alpes Region, que j'ai dirigé de  2007 à 2011 , dédié à l'informatique, au signal et aux systèmes embarqués. 
  
• Le projet  EDEMOI de l'ACI Sécurité Informatique (2003-2007)
• The International Automated Software Engineering Conference
• Formal Methods Europe
• L'atelier AFADL et le groupe de travail du GDR ALP

Quelques évènements passés auxquels j'ai contribué ...

• Projet de GDR GPL
• projet RNTL POSE
• 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)
• Journée "Architecture Logicielle" du club SEE-SIC "Objectif Zéro-Défaut"
• The 15th Automated Software Engineering Conference
• L'atelier AFADL 2000
• The 12th Automated Software Engineering Conference
• l'IMAG à FM'99
• Exposition "Logiciels Critiques"

Autres liens

• Etude de cas "Contrôle d'accès"