Jérémy Dubut (ドゥブ ジェレミー)


General information

I am a Project Assistant Professor in Prof. Ichiro Hasuo's ERATO Metamathematics for Systems Design Project at the National Institute of Informatics in Tokyo. Before that, I was Project Researcher in the same group.

I am also affiliated with the Japanese-French Laboratory for Informatics.

Previously, I was a PhD student at LSV, ENS Paris-Saclay, under the supervision of Jean Goubault-Larrecq and Eric Goubault.

Email: dubut[at]nii.ac.jp

Upcoming events

Research interests

Publications

Journals

Conferences

Preprints

Theses

Some presentations