Yves Ledru is a Professor at UFR IM2AG of Université Grenoble Alpes (formerly Université Joseph Fourier), where he also serves as Deputy Director. He is a member of the Laboratoire d'Informatique de Grenoble (LIG) and heads the VASCO research team. Additionally, he serves on the bureau of the GDR GPL national research group of the CNRS. Professor Ledru's research focuses on Software Engineering and Formal Methods. His primary interests include Specification and Modeling, Software Architecture, Testing, and the application of formal specification languages such as JML, VDM, and Z Notation. His team has developed several tools including RoZ (for integrating UML and Z specifications), B4MSecure, Tobias (for combinatorial testing), and ParTraP. His recent research projects include ANR Philae (2018-2022), ANR MODMED (2015-2019), and NExTRegio project of IRT Railenium (2015-2019). Professor Ledru has been actively involved in the academic community, serving on program committees for numerous conferences including Crisis 2024, MEDI 2023, and RSSRail 2023. He was a member of the steering committee of the ASE conference from 1997 to 2013, serving as chair from 2001 to 2007. His publication record shows a consistent focus on bridging formal methods with practical software engineering applications, particularly in specification languages and testing methodologies. He has supervised twelve PhD students to completion and currently supervises Alexandre Monnier. His former administrative responsibilities include leading the ISLE research cluster of the Rhône-Alpes Region (2007-2011) and serving as scientific responsible for the ARC6: Technologies de l'Information et de la Communication (2011-2017).





