Jérémy Dubut

J-GLOBAL         Last updated: Sep 11, 2019 at 13:35
Jérémy Dubut
National Institute of Informatics
ERATO Hasuo Project
Job title
Project Assistant Professor
doctor(ENS Paris-Saclay)
Other affiliation
Japanese French Laboratory for Informatics
Research funding number

Research Areas


Academic & Professional Experience

Jul 2019
Project Assistant Professor, ERATO Hasuo Project, National Institute of Informatics
Nov 2017
Jun 2019
Project Researcher (postdoc), ERATO Hasuo Project, National Institute of Informatics
Oct 2014
Sep 2017
PhD student, LSV, ENS Paris-Saclay

Awards & Honors

Apr 2019
Best Theory Paper Award at ETAPS
Sep 2016
First Price of the best scientific production of the STIC doctoral school, Université Paris-Saclay

Published Papers

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
ITSC 2019      Jun 2019   [Refereed]
In this paper, we investigate the decision making of autonomous vehicles in
an unsignalized intersection in presence of malicious vehicles, which are
vehicles that do not respect the law by not using the proper rules of the right
of way. Each vehi...
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková      Mar 2019   [Refereed]
Coalgebras for an endofunctor provide a category-theoretic framework for
modeling a wide range of state-based systems of various types. We provide an
iterative construction of the reachable part of a given pointed coalgebra that
is inspired by and...
Akihisa Yamada,Jérémy Dubut
10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA.   30:1-30:16   2019   [Refereed]
Jérémy Dubut
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings   224-241   2019   [Refereed]
Juraj Kolcák,Ichiro Hasuo,Jérémy Dubut,Shin-ya Katsumata,David Sprunger,Akihisa Yamada
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.   284-285   2019   [Refereed]
Array,Jérémy Dubut,Shin-ya Katsumata,Ichiro Hasuo
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings   523-540   2019   [Refereed]
David Sprunger,Shin-ya Katsumata,Jérémy Dubut,Ichiro Hasuo
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers   190-213   2018   [Refereed]
Jérémy Dubut,Array,Jean Goubault-Larrecq
Applied Categorical Structures   25(5) 775-807   2017   [Refereed]
Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France   9:1-9:16   2016   [Refereed]
Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada   25:1-25:14   2016   [Refereed]
Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II   171-183   2015   [Refereed]


Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida
   Apr 2019
In this paper, we consider a problem of decision making for multiple
autonomous vehicles in a roundabout. In particular, we propose an approach that
balances between the safety of all vehicles and their velocity, using a Nash
equilibrium to make a...
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
   Mar 2019
In the field of quality assurance of hybrid systems (that combine continuous
physical dynamics and discrete digital control), Platzer's differential dynamic
logic (dL) is widely recognized as a deductive verification method with solid
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
   Sep 2018
We investigate a canonical way of defining bisimilarity of systems when their
semantics is given by a coreflection, typically in a category of transition
systems. We use the fact, from Joyal et al., that coreflections preserve open
morphisms situa...
Jérémy Dubut
   Apr 2018
In this paper, we investigate diagrams, namely functors from any small
category to a fixed category, and more particularly, their bisimilarity.
Initially defined using the theory of open maps of Joyal et al., we prove
several equivalent characteri...

Research Grants & Projects

Synthesising directed structures in Computer Science using Directed Algebraic Topology
Japanese Society for the Promotion of Science: Grant-in-Aid for Early-Career Scientists
Project Year: Apr 2019 - Mar 2022    Investigator(s): Jérémy Dubut