Name:Akram Idani

Bio:

I am a Full Professor at Grenoble INP (Institut National Polytechnique de Grenoble) and a member of the Verimag Laboratory. I hold a Ph.D. in Computer Science, with research focused on the integration of formal methods and software engineering. My main interests lie in formal model-driven engineering (FMDE) and Formal Model Driven Security (FMDS). I have contributed to the development of tools such as Meeduse (a language workbench for executable domain-specific languages with formal semantics) and B4MSecure (B for modeling secure informationsystems). I teach courses in model-driven engineering, software validation, and information systems security. My research bridges theory and practice, with applications in domains like critical railway systems.

Country:France

Affiliation:Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG

Research interests:Formal Methods, Domains Specific Languages, Model Driven Security