Jean-Louis Roch

• Enseignant-chercheur Ensimag / Grenoble-INP - COMUE Université Grenoble-Alpes
• VERIMAG Equipe PACSS team (Proofs and Code analysis for Safety and Security) (CNRS, Université Grenoble-Alpes, Grenoble-INP)
• Contact :
  • Bâtiment IMAG, room 286
    700 avenue Centrale
    Domaine Universitaire de Saint Martin d'Hères
    38401 Saint-Martin d'Hères
    France
  • Phone: +33 [0] 457 422 241 --> Mobile:
  •