Biographical InformationI received a "D.E.A" (M.S.) in 1990 and Ph.D. in 1995 both in Computer Science from the University of Montpellier II.
Immediately after my PhD, I was hired by ILOG, where I was the Director of Constraint Programming.
In November 2004, I defended my "Habilitation à Diriger des Recherches" at the University of Nice-Sophia Antipolis [pdf].
In 2005, I spent 7 months int the Computer Science Department (IISI Institute) at Cornell University.
In Summer 2008 ILOG has been bought by IBM. I left ILOG in October 2008 and I joined the University of Nice-Sophia Antipolis where I was Invited Professor at the Ecole Polytechnique of University of Nice-Sophia Antipolis for one year.
Since, September 2009, I am Professor at the University of Nice-Sophia Antipolis.
I am in charge of the Cep (Constraints and Proofs) team of the I3S
References to my Work
Last revised: 01/05/12