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