I am currently a research fellow (post-doc) at the department of mathematical informatics of
the University of Tokyo under the supervision of Kazuhisa Makino. I work on the
complexity of the dualization of Boolean functions problems.
I am a former Ph.D. student of Miki Hermann of the Algorithms and
Optimisation team at the
Laboratoire d'Informatique de l'École
Polytechnique. I worked and still work on computational complexity of Constraint Satisfaction Problems
(CSP).
Contact :
Florian Richoux
Mathematical Informatics No. 2 Laboratory
Department of Mathematical Informatics
Graduate School of Information Science and Technology
University of Tokyo
7-3-1 Hongo Bunkyo-ku Tokyo 113-8656 Japan
Building 6 of Department of Engineering, Room 335
e-mail : Antispam-richoux_at_mist.i.u-tokyo.ac.jp