I am leading the Constraint Reasoning Group in Microsoft Research Cambridge (MSRC) and co-leading the Adaptive Combinatorial Search for e-Science project in the MSR/INRIA joint-lab, near Paris. Additionally, I am co-leading the Optimisation for Sustainable Development project at École Polytechnique. My research interests include combinatorial optimization in alternative frameworks: Parallel, and Distributed architectures. I am also interested in the application of Machine Learning to Search. My current focus is on Autonomous Search, and Parallel Propositional Satisfiability.

Projects:

• ManySAT: the awards (SAT-Race'08, SAT-Competition'09) winning parallel SAT solver.
• Disolver: the distributed constraint solver.
• Related:
  • The first Parallel SMT Solver: Z3.
  • Microsoft Solver Foundation: new framework for mathematical programming, modelling, and optimisation.

Editor:

• Book, Autonomous Search, Springer Verlag 2010.
• JSAT Journal, Special Issue on Parallel SAT Solving.
• Constraint Programming Letters, Special Issue on Autonomous Search.

Recent Talks:

• Control-based Clause Sharing, Dynamics of Complex Networks Workshop, Institute for Advanced Studies, April 2009, Glasgow.
• Tutorial on Parallel SAT, LION'09, January 2009, Trento.

 Papers.

member.

Some very interesting links:

• Citroen DS
• Collège de Pataphysique
• Maison européenne de la photographie
• Centre Pompidou
• TateModern International modern art
• Classic Camera