Participants

    The project brings together hybrid systems and formal methods experts. Three partners are involved in VEDECY:
  • Partner 1: Laboratoire Jean Kuntzmann (LJK) - Université Joseph Fourier (UJF)
    • Antoine Girard, Associate Professor at Université Joseph Fourier
    • Guillaume James, Professor at Grenoble Institute of Technology
    • Aude Maignan, Associate Professor at Université Pierre Mendès France
    • Mohamed Amin Ben Sassi, PhD Student at Université Joseph Fourier
    • Samuel Martin, PhD Student at Université Joseph Fourier

  • Partner 2: POP ART Project Team (POP ART) - INRIA

  • Partner 3: Laboratoire Verimag (VERIMAG) - Université Joseph Fourier (UJF)
    • Thao Dang, Researcher at CNRS
    • Goran Frehse, Associate Professor at Université Joseph Fourier
    • Oded Maler, Senior Researcher at CNRS
    • Romain Testylier, PhD Student at Université Joseph Fourier
    • Thomas Martin Gawlitza, Post-doctoral Researcher at Verimag