SENIOR RESEARCHER

I am heading the Constraint Reasoning Group in Microsoft Research Cambridge (MSRC) and co-heading the Adaptive Combinatorial Search for e-Science project in the MSR/INRIA joint-lab. Additionally, I am co-heading the Optimisation for Sustainable Development chair at École Polytechnique, and work there as an associate researcher in the LIX Laboratory. My current focus is on Autonomous Search, Parallel Search, and Propositional Satisfiability, with applications to Environmental Intelligence, Business Intelligence, and Software Verification.

Papers.

Recent:

• Autonomous Search, Springer 2012
• Learning for Intelligent Optimization Conference, General and technical co-chair, Paris, January 16-20, 2012.

Projects:

	csls: cooperative stochastic local-search solver: silver medal (first parallel solver), random category, SAT-Competition'11.
	ManySAT: the awards (SAT-Race'08, SAT-Competition'09) winning parallel SAT solver.

• Related:
  • The first Parallel SMT Solver: Z3.
  • Microsoft Solver Foundation: new framework for mathematical programming, modelling, and optimisation.
• Past:
  • The Smart Workflow Foundation, a BI integration of Disolver in the Microsoft's Workflow Engine. Video.
  • Disolver: the distributed constraint solver which found its way in the Microsoft Solver Foundation product line. An example demo.

Recent invited talks:

• First International SAT/SMT Solver Summer School 2011 Sunday, MIT, Lecturer, June 12-17, 2011.
• Parallel SAT Solving, 9th International Workshop on Parallel and Distributed Methods in Verification (PDMC'10), October 2010.
• Control-based Clause Sharing, Algorithms and Applications for Next Generation SAT Solvers, Schloss Dagstuhl seminar, November 2009.

     member.