Members

France Team

  • Principal InvestigatorThao Dang Research 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

Japan Team

  • Principal InvestigatorKohei Suenaga Associate Professor,
    Graduate School of Informatics,
    Kyoto University.
  • Principal CollaboratorMasako Kishida Associate Professor,
    Principle of Informatics Devision,
    National Institute of Informatics / Associate Professor,
    Department of Informatics,
    Graduate University for Advanced Studies / Guest Associate Professor,
    Graduate School of Information Science and Technology,
    Osaka University
  • Suenaga Group
    (Software systems, Formal methods)

  • Research CollaboratorTaro Sekiyama Assistant Professor, Information Systems Architecture Science Research Division, National Institute of Informatics
  • Research CollaboratorMasaki Waga Assistant Professor, Graduate School of Informatics, Kyoto University
  • Research CollaboratorClaus Aranha Assistant professor, University of Tsukuba, Graduate Program in Computer Science and the College of Information Sciences
  • Kishida Group (Control theory)

  • Research CollaboratorToshimitsu UshioProfessor, Graduate School of Engineering Science, Osaka University
  • Research CollaboratorMasaki OguraAssociate Professor, Graduate School of Information Science and Technology, Osaka University
  • Research CollaboratorKazumune Hashimoto Assistant Professor, Graduate School of Engineering, Osaka University