Members
Principal Investigators
France Team | ||
---|---|---|
Principal Investigator | Thao Dang | Research Director, CNRS |
Principal Collaborator | Eugene Asarin | Professor, IRIF, Université de Paris |
Principal Collaborator | Benoît Barbot | Associate Professor, Laboratoire d’Algorithmique, Complexité, Logique, Université Paris-Est Créteil |
Principal Collaborator | Aneel Tanwani | Researcher, Laboratory for Analyses and Architecture of Systems, CNRS |
Principal Collaborator | Alexandre Donzé | Decyphir, Inc. |
Japan Team | ||
---|---|---|
Principal Investigator | Kohei Suenaga | Associate Professor, Graduate School of Informatics, Kyoto University |
Principal Collaborator | Masako 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 |
Group Members
Dang Group | ||
---|---|---|
Research Collaborator | Nicolas Basset | Assistant Professor, Université Grenoble Alpes |
Research Collaborator | Marius Bozga | CNRS Research Engineer |
Research Collaborator | Olivier Lebeltel | CNRS Research Engineer |
Research Collaborator | Mathias Ramparison | Associate Professor, Grenoble INP – ENSIMAG, Université Grenoble Alpes |
Research Collaborator | Marco Esposito | Postdoctoral Researcher, Université Grenoble Alpes |
Student Researcher | Hadi Dayekh | PhD Candidate, Université Grenoble Alpes |
Student Researcher | Ana María Gomez Ruiz | PhD Candidate, Université Grenoble Alpes |
Asarin Group | ||
---|---|---|
Research Collaborator | Aldric Degorre | Associate Professor, IRIF, Université de Paris |
Research Collaborator | Peter Habermehl | Associate Professor, IRIF, Université de Paris |
Research Collaborator | Amaury Pouly | CNRS Researcher |
Research Collaborator | Mahsa Shirmohammadi | CNRS Researcher, IRIF |
Barbot Group | ||
---|---|---|
Research Collaborator | Adrien Le Coënt | LACL, Université Paris-Est Créteil |
Suenaga Group | ||
---|---|---|
Research Collaborator | Taro Sekiyama | Associate Professor, Information Systems Architecture Science Research Division, National Institute of Informatics |
Research Collaborator | Masaki Waga | Assistant Professor, Graduate School of Informatics, Kyoto University |
Research Collaborator | Claus Aranha | Associate professor, University of Tsukuba, Graduate Program in Computer Science and the College of Information Sciences |
Project Researcher | Chiao Hsieh | Postdoctoral Researcher, Graduate School of Informatics, Kyoto University |
Kishida Group | ||
---|---|---|
Research Collaborator | Masaki Ogura | Professor, Graduate School of Advanced Science and Engineering, Hiroshima University |
Research Collaborator | Kazumune Hashimoto | Associate Professor, Graduate School of Engineering, Osaka University |
Research Collaborator | Yasuaki Wasa | Associate Professor, Department of Electrical Engineering and Bioscience, Waseda University |
Past Members
Japan Team | Former Position | Current Position |
---|---|---|
Toshimitsu Ushio | Professor, Osaka University | Retired |
Amit Gurung | Postdoctoral Researcher, Kyoto University | Assistant Professor, School of Computer Science, University Of Petroleum And Energy Studies at Dehradun |