• Home
• Short Bio
• Applications
• Publications
• Teaching
• Education
• Links

Academic Events

• CAISE'08 Organising Chair.
• Member of the RJCIA'07 Programme Committee.
• Member of the JFPC'06 Programme Committee.
• Member of the Cap'04 Organising Committee.

Softwares

i devellop, or i am using in my research

• Conacq: a Constraint Network Acquisition Platform
• Choco: an open-source Constraint Programming Kernel for Research and Education.
• SAT4J: an open-source satisfiability library for Java