Rchr
J-GLOBAL ID:201801019816267340   Update date: Mar. 30, 2021

Dubut Jérémy

Dubut Jérémy
Affiliation and department:
Job title: Project Assistant Professor
Other affiliations (1):
  • Japanese French Laboratory for Informatics
Homepage URL  (1): http://group-mmm.org/~dubut/
Research field  (3): Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (4): Directed Algebraic Topology ,  Bisimulations ,  True concurrency ,  Category theory
Research theme for competitive and other funds  (1):
  • 2019 - 2022 Synthesising directed structures in Computer Science using Directed Algebraic Topology
Papers (15):
  • Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut. Symbolic Self-Triggered Control of Continuous-Time Non-Deterministic Systems without Stability Assumptions for 2-LTL Specifications. ICARCV 2020. 2020
  • Jérémy Dubut. Bisimilarity of diagrams. Proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020). 2020
  • Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut. Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020). 2020
  • Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida. Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. ITSC 2019. 2019
  • Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut. A Coalgebraic View on Reachability. Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková. 2019. 60. 4. 605-638
more...
MISC (2):
  • Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida. A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. 2019
  • Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. 2018
Professional career (1):
  • doctor (ENS Paris-Saclay)
Work history (3):
  • 2019/07 - 現在 National Institute of Informatics ERATO Hasuo Project Project Assistant Professor
  • 2017/11 - 2019/06 National Institute of Informatics ERATO Hasuo Project Project Researcher (postdoc)
  • 2014/10 - 2017/09 LSV, ENS Paris-Saclay PhD student
Awards (3):
  • 2020/12 - IEEE Paper award finalist at ICARCV 2020
  • 2019/04 - Best Theory Paper Award at ETAPS
  • 2016/09 - Université Paris-Saclay First Price of the best scientific production of the STIC doctoral school
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page