- Home
- Researcher
- Jeremy Dubut
Jeremy Dubut
Biography
2017 : Received a Ph.D. in information science from University Paris-Saclay
2017-2022: Project Researcher then Project Assistant Professor at ERATO Metamathematics for System Design, NII.
2022-present: Researcher in the Infrastructure Protection Security Research Team, Cyber Physical Security Research Center, AIST.
Specializes in foundations of mathematics.
Selected Publication
- 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.
Websites
- Homepage : https://jeremydubut.com
Awards
- Best scientific contribution, STIC doctorate school, Université Paris-Saclay, 2016
- Best EATCS paper, ETAPS, 2019
- Best paper finalist, ICARCV, 2020