Manuel Bodirsky

Manuel Bodirsky

Researcher of the CNRS at the Laboratoire d'Informatique de l'École Polytechnique (LIX), in the Algorithms and Complexity Team.

Office École Polytechnique,
Laboratoire d'Informatique de l'École Polytechnique (LIX)
Bâtiment Turing, bureau 2014
1 rue Honoré d'Estienne d'Orves, Campus de l'École Polytechnique, 91120 Palaiseau, France.
Bâtiment 24 sur ce plan
Phone +33 1 77 57 80 50
Email bodirsky@lix.polytechnique.fr

I am a researcher in theoretical computer science. My primary research topic are constraint satisfaction problems, where I am interested in algorithms, systematic complexity results, and applications of constraint satisfaction, for example in computational linguistics and artificial intelligence. In particular, I work on the extension of the theory about constraint satisfaction problems over finite domains to infinite domains, and related model theory, universal algebra, and Ramsey theory. In the past, I have also worked in enumerative combinatorics, in particular for (labelled and unlabeled) planar structures.


last modified 03/14 (Manuel Bodirsky)