Manuel Bodirsky - LIX - École Polytechnique (original) (raw)

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

Since August 2014: Détachement for a professor position at TU Dresden
This website is no longer maintained.

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. 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.

• Publications
• Leading the ERC starting project CSP-Complexity.
• Website of our seminar: Le séminaire d'algorithmique et de complexité du plateau de Saclay.
• Looking forward to:
  • Participating at Dagstuhl seminar 14331, Querying and Reasoning Under Expressive Constraints, Aug 10-14, 2014.
  • Invited speaker at Colloquium Logicum 2014, 4-6 September, Munich, Germany.
  • Organizing Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff International Research Station, Nov 23 - Nov 28, 2014.
  • Invited speaker at 32nd International Symposium on Theoretical Aspects of Computer Science (STACS), March 4 - 7, 2015, Munich, Germany.
  • Invited speaker at 25th British Combinatorial Conference, 6-10 July 2015, Warwick, UK.
• I have been involved in the following events.
  • Invited speaker at MAD! 2014, Middlesex Algorithms Day, Foundations of Computing Group, Middlesex, 14th March 2014.
  • Participant at the Trimester Program on Universality and Homogeneity at the Hausdorff Research Institute for Mathematics (HIM) in Bonn, Fall 2013
  • PC member of Special Track on SAT and CSP Technologies at the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), November 4-6 2013, Washington DC, USA
  • PC member of IEEE Symposium on Logic in Computer Science (LICS 2012) in Dubrovnik
  • PC member of 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) in Paris
  • PC member of 19th EACSL Annual Conference on Computer Science Logic (CSL 2010), Brno, and