Maître de conférences (HdR) à Grenoble INP (ENSIMAG)
Membre du Laboratoire d'Informatique de Grenoble (Equipe VASCO)
Adresse :
CS 40700 F-38058 Grenoble Cedex 9 Bureau : 247 Téléphone : +33 (0)4 57 42 15 12 Adresse électronique : Cet e-mail est protégé contre les robots collecteurs de mails, votre navigateur doit accepter le Javascript pour le voir |
|
Habilitation à diriger des Recherches [document]
CV détaillé [document]
Publications [Détaillées] [DBLP] [HAL]
Je suis, Enseignant ... Chercheur ... mais aussi,
- Co-responsabe de la mention Master Informatique
- Co-responsable du Parcours International MoSIG 2
- Membre élu du CA de l'ENSIMAG
- Membre nommé du CA du LIG
- Membre élu du CA de Specif campus
- Membre de la cellule Respect/Egalité de l'ENSIMAG
- Responsable du cours Information Security (M2 MoSIG)
- Responsable du cours Ingénierie Dirigée par les Modèles (3A ENSIMAG)
- Responsable du cours Analyse Conception & Validation de Logiciels (2A ENSIMAG, apprentissage)
- Co-Chair du comité de programme de MoDeVVa@Models (Model-Driven Engineering, Verification and Validation)
- Co-éditeur d'un numéro spécial de la revue internationale Innovations in Systems and Software Engineering (a NASA Journal, by Springer)
- Membre du comité de conseil du congrés INFORSID'23 (INFormatique des ORganisations et Systèmes d'Information et de Décision)
- Membre du comité de programme de RSSRail'23 (International Conference on Reliability, Safety and Security of Railway Systems)
- CRiSIS'23 Best Paper award: A Process-Centric Approach to Insider Threats Identification in Information Systems. Akram Idani, Yves Ledru and German Vega
- TTC'19 Award of Best Verification: Meeduse tool
- TTC'19 3rd Audiance Award: Meeduse tool
- ESSE'21 Best Presentation
- Meeduse : Atelier de conception formelle de DSLs.
- B4MSecure : B for Modeling Secure Information Systems.
