Jeremy Dubut
経歴
仏エコール=ノルマル=シュペリウール カション校(Ecole Normale Superieure de Cachan、現在のENS Paris-Saclay)を経て、2017年にPh.D. (information science) 授与、仏パリ=サクレー大学(University Paris-Saclay)
2017-2022 : 国立情報学研究所 特任研究員(2017.11-2019.7)、特任助教(2019.7-2022.3)として、ERATO 蓮尾メタ数理システムデザインプロジェクト(MMDS)に従事
2022 : 産業技術総合研究所 サイバーフィジカルセキュリティ研究センター インフラ防護セキュリティ研究チーム 研究員
専門は数学基礎論。
論文業績 (代表的な5件)
- Jérémy Dubut, Éric Goubault, and Jean Goubault-Larrecq. Natural Homology. ICALP15, LNCS 9135, pages 171-183. Springer, 2015.
- Jérémy Dubut. Trees in partial Higher Dimensional Automata. FoSSaCS19, LNCS 11425, pages 224-241, Springer, 2019.
- Juraj Kolčák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, and Akihisa Yamada. Relational Differential Dynamic Logic. TACAS20, LNCS 12078, pages 191-208, Springer, 2020.
- Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, and Jérémy Dubut. Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. IFAC 2020 World Congress.
- Jérémy Dubut and Akihisa Yamada. Fixed Point Theorems for Non-Transitive Relations. Logical Methods in Computer Science Vol. 18, No. 1, pages 1-30, 2022.
ウェブサイト
- 個人HP : https://jeremydubut.com
受賞歴
- Best scientific contribution, STIC doctorate school, Université Paris-Saclay, 2016
- Best EATCS paper, ETAPS, 2019
- Best paper finalist, ICARCV, 2020