
Jérémy Dubut
(ドゥブ ジェレミー)
Modified on: 2020/06/09
Profile Information
- Affiliation
- National Institute of Informatics ERATO Hasuo Project Project Assistant Professor
- Japanese French Laboratory for Informatics
- Degree
-
doctor(9 2017 ENS Paris-Saclay)
- Researcher number
- 50836765
- J-GLOBAL ID
- 201801019816267340
- External link
Research Interests
4Research Areas
3Research History
3-
10 2014 - 9 2017
Awards
2Papers
14-
Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) 4 2020 Peer-reviewed
-
Proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020) 4 2020 Peer-reviewed
-
Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020) 2020 Peer-reviewed
-
ITSC 2019 6 2019 Peer-reviewed
-
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková 60(4) 605 - 638 3 2019 Peer-reviewed
Misc.
2Research Projects
1-
Japanese Society for the Promotion of Science Grant-in-Aid for Early-Career Scientists