About me
I am Postdoc at INRIA-Microsoft Research Joint Centre since oct. 2011, attached to
TAO-LRI teamproject. working with Youssef Hamadi, Michèle Sebag, Marc Schoenauer on learning efficient solving strategies on top of existing parallel SAT
solver (i.e., ManySAT), the resolution calculus, Constraint-based and Meta-heuristics optimization
algorithms.
I passed my Phd at INRIA Rennes (IRISA), in the Celtique team (follow-up of Lande team), under the supervision of Arnaud GOTLIEB, Yahia Lebbah and Thomas Jensen. My research area during my thesis was about the debugging in constraint programming, especially on the detection, localization and correction of faults in constraint models. I developed a testing framework for constraint programs written in high-level constraint modeling languages: OPL (Optimization Programming Language). I extended this framework with fault localization and automatic bug fixing. I implemented this framework in a testing platform CPTEST for OPL programs, enabling so automatic fault detection, localization and correction of constraint programs. Using mutation testing, the experimental results show that well-known constraint programs written in OPL can be automatically corrected using this framework.
News
05-04-2012 -CeP seminar at I3S Nice Sophia Antipolis [slides]
22-05-2012 -MCF audition at LINA - Nantes university [slides]
Curriculum Vitae
Contact
| Address | : -Centre de Recherche Commun INRIA-Microsoft Research Parc Orsay Université 28 rue Jean Rostand ORSAY 91893 - LRI Bat. 490, Université Paris Sud. 91405 Orsay |
| : nadjib[dot]lazaar[at]inria[dot]fr | |
| Phone | : +33 (0) 1 69 15 42 32 |
| Fax | : +33 (0) 1 69 15 42 40 |
