Version Française

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
E-mail : Yves.Ledru@imag.fr

Curriculum Vitae (february 2023, in French)

Position and responsibilities

• Professor at the UFR IM2AG of the  Université Grenoble Alpes (was Université Joseph Fourier)
• Deputy director of UFR IM2AG
• Member of the LIG Laboratory
  
• Head of the VASCO team
• Member of the bureau of the GDR GPL national research group of the CNRS

• Head of the sub-commission Research Direction Habilitation for Applied Mathematics and Computer Science at the Université de Grenoble Alpes from 2013 till 2017)
• Responsible for the Academic Research Community 6 : Information and Communication Technologiy, and innovative use of informatics of the Rhône-Alpes region, from 2011 till 2017

Research Interests

• Software Engineering (Specification and Modeling, Software Architecture, Testing)
• Formal Methods -(JML, VDM , Z)
• Some tools developed by our team: RoZ, B4MSecure, Tobias, ParTraP

Recent Projects 

• ANR Philae (2018-2022)
• ANR MODMED (2015-2019)
• NExTRegio project of IRT Railenium (2015-2019)
• PEPS INS3PECT (2017)
• ANR TASCCC  (2009-2012)
• ANR Selkis (2008-2012)

Other responsibilities

• General co-chair of the Journées Nationales 2018 of GDR GPL
• Programme committee member for 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
• Member of the Expert Review Panel of  ASE 2009, ASE 2010, ASE 2011
• Member from 1997 till 2013 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 (2005-08)
  

Publications

Some teaching material

• Introduction to formal specification and JML

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

Some interesting former events

• The  ISLE research cluster of the Rhône-Alpes Region which I led from 2007 till 2011 , dedicated to Computer Science, Signal, and Embedded Systems.
  
• The EDEMOI project of the national aciSI programme
• The International Automated Software Engineering Conference
• Formal Methods Europe
• The AFADL working group and workshop

Past events I contributed to...

• Projet de GDR GPL
• 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