...
Youssef Hamadi leads the Constraint Reasoning Group in Microsoft Research Cambridge. He is also the founder and co-director of the Microsoft-CNRS chair Optimisation for Sustainable Development, at École Polytechnique. His current research considers the design of complex systems based on multiple formalisms feed by different information channels which plan ahead and perform smart decisions. This work is set at the intersection of Optimization and Artificial Intelligence. Currently, his focus is on Autonomous Search, Parallel Search, and Propositional Satisfiability, with applications to software-verification, Automated Planning and business intelligence.
| Attachments | ||
|---|---|---|
|