Experience
Education
Bio
Research Topics Constraint Satisfaction and Optimization. Validation of KBS. Organization On-going activities: Programme committee member of CP 2004, the International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, September 2004. Programme committee member of AAMAS 2004, the International Conference on Autonomous Agents and Multiagents Systems, New York, USA, July 2004. Some past activities: Programme committee member of CP 2003, the International Conference on Principles and Practice of Constraint Programming, Kinsale, Ireland, September 2003. Programme committee member of AAMAS 2003, the International Conference on Autonomous Agents and Multiagents Systems, Melbourne, Australia, July 2003. Programme committee member of CP 2002, the International Conference on Principles and Practice of Constraint Programming, Cornell University USA, September 2002. Programme committee member of CP 2001, the International Conference on Principles and Practice of Constraint Programming, Cyprus, November 2001. Coorganizer (with Christian Bessiere) of the Modellinga nd Solving Problems with Constraints Workshop, at ECAI-00. Projects Current Projects: REPLI: Constraint-based reasoning and combinatorial optimization: Applications to planning and uncertainty management. Some past projects: ECSPLAIN: Exploiting Non-Standard CSP for Leveraging Application Intelligence. COR: Constraint-based Computation in Robotics and Resource Allocation. REST: Analysis of Spatial Restrictions and Their Application to Mechanical Design and to the Simulation of Robot Tasks. SUBSIM: Subsymbolic Techmiques for Constraint Satisfaction, Vision and Robotics. VALID: Validation Methods and Tools for Knowledge Based Systems