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][slides]
Publications [dblp] [hal]
Fonctions et responsabilités (en cours)
- 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
- 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)
- Meeduse : Atelier de conception formelle de DSLs.
- B4MSecure : B for Modeling Secure Information Systems.
