Akram Idani
Full Professor @Polytech Grenoble
Signup · Get unlimited contacts
WORK HISTORY
Full Professor @Polytech Grenoble
Grenoble, FR
EDUCATION
Université de Geneve
Diplôme Européen de 3ème cycle (MATIS)
Université Joseph Fourier (Grenoble I)
Thèse de doctorat
Université Joseph Fourier (Grenoble I)
DEA (équiv M2R)
Grenoble INP - UGA
Habilitation à diriger des recherches (HDR)
ABOUT AKRAM IDANI
Dr. Akram Idani is a Full Professor at Grenoble INP (Institut National Polytechnique de Grenoble) and a member of the Verimag Laboratory. He holds a Ph.D. in Computer Science, with research focused on the integration of formal methods and software engineering. His main interests lie in formal model-driven engineering (FMDE) and Formal Model Driven Security (FMDS). He has 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). Dr. Idani teaches courses in model-driven engineering, software validation, and information systems security. His research bridges theory and practice, with applications in domains like critical systems and security.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.