メンバー

フランスチーム | 日本チーム

フランスチーム

  • Principal InvestigatorThao DangResearch Director, CNRS
  • Principal CollaboratorEugene Asarin Professor, IRIF, Université de Paris
  • Principal CollaboratorBenoît Barbot Associate Professor, Laboratoire d'Algorithmique, Complexité, Logique, Université Paris-Est Créteil
  • Principal CollaboratorAneel Tanwani CNRS/LAAS, Toulouse / Researcher, Laboratory for Analyses and Architecture of Systems
  • Principal CollaboratorAlexandre Donzé Decyphir, Inc.

    • Dang Group

  • Research CollaboratorNicolas Basset Assistant Professor, University Grenoble Alpes
  • Research CollaboratorMarius Bozga CNRS Research Engineer
  • Research CollaboratorOlivier Lebeltel CNRS Research Engineer
  • Research CollaboratorMathias Ramparison Associate Professor, Grenoble INP – ENSIMAG, University Grenoble Alpes

    • Asarin Group

  • Research CollaboratorAldric Degorre Associate Professor, IRIF, Université de Paris
  • Research CollaboratorPeter Habermehl Associate Professor, IRIF, Université de Paris
  • Research CollaboratorAmaury Pouly CNRS Researcher
  • Research CollaboratorMahsa Shirmohammadi CNRS Researcher, IRIF

    • Barbot Group

  • Research CollaboratorAdrien Le Coënt LACL, Université Paris-Est Créteil

日本チーム

  • 研究代表者末永幸平 京都大学大学院情報学研究科 通信情報システム専攻准教授、
    （兼）国立情報学研究所 客員准教授
  • 主たる共同研究者岸田昌子 国立情報学研究所 情報学プリンシプル研究系 准教授、
    （兼）総合研究大学院大学 複合科学研究科 情報学専攻 准教授、
    （兼）大阪大学 大学院情報科学研究科 招へい准教授

    • 末永グループ
    (ハイブリッドシステム、
    形式手法担当)

  • 研究協力者関山太朗 国立情報学研究所 アーキテクチャ科学研究系 助教
  • 研究協力者和賀正樹 京都大学 大学院情報学研究科 助教
  • 研究協力者Claus Aranha 筑波大学 システム情報系 助教

    • 岸田グループ
    （制御理論担当）

  • 研究協力者潮俊光 大阪大学 大学院基礎工学研究科 教授
  • 研究協力者小蔵正輝 大阪大学 大学院情報科学研究科 准教授
  • 研究協力者橋本和宗 大阪大学大学院工学研究科 助教