デュブジェレミー

Dubut Jérémy

所属機関・部署：
職名：研究員
ホームページURL (1件)： https://jeremydubut.com

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 情報学基礎論

研究キーワード (4件)： Directed Algebraic Topology , Bisimulations , True concurrency , Category theory

競争的資金等の研究課題 (1件)：

2019 - 2022 Synthesising directed structures in Computer Science using Directed Algebraic Topology

論文 (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

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

学位 (1件)：

経歴 (4件)：

受賞 (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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

デュブ ジェレミー