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


General information

I am currently a postdoc in Prof. Ichiro Hasuo's ERATO Metamathematics for Systems Design Project at the National Institute of Informatics in Tokyo.

Email: dubut[at]nii.ac.jp

My old page at LSV: here

Research interests

Publications

Journals

Conferences

Preprints

Theses

Some presentations