Rchr
J-GLOBAL ID：201801019816267340   Update date: Jan. 30, 2024

Dubut Jérémy

Dubut Jérémy
Affiliation and department：
National Institute of Advanced Industrial Science and Technology Cyber Physical Security

About National Institute of Advanced Industrial Science and Technology Cyber Physical Security


Job title： Researcher
Homepage URL  (1)： https://jeremydubut.com
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 (32)：
  • Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang 0005, Erik André Pallas, Akihisa Yamada 0002, et al. Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 2023. 8. 4. 3040-3072
  • Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo. Formal Verification of Safety Architectures for Automated Driving. CoRR. 2023. abs/2308.10365
  • James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo. Formal Verification of Intersection Safety for Automated Driving. CoRR. 2023. abs/2308.06785
  • Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo. Formal Verification of Safety Architectures for Automated Driving. IV. 2023. 1-8
  • Akihisa Yamada 0002, Jérémy Dubut. Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). ITP. 2023. 34-13
ｍore...
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 (4)：
  • 2022/04 - 現在 National Institute of Advanced Industrial Science and Technology Cyber Physical Security Researcher
  • 2019/07 - 2022/03 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

TOP

BOTTOM