CV
EDUCATION
2005 – 2009: Ph.D. in Verification. “Probabilistic Exploration of Large State Space for Verification”, Joseph-Fourier University, Grenoble, France
2002 – 2004: Master Degree in Distributed Computing, Paris XI University, Paris, France
1997 – 2002 : Engineer Degree in Computer Science, ESI, Algiers, Algeria
RESEARCH INTERESTS
2005 – 2009: Verification, Probabilistic Search, Randomized Algorithms, Graphs exploration
2003 – 2004: Self-Stabilisation, Fault-Tolerance, Distributed Systems
2001 – 2002: 3D Rendering, Parallelism
RESEARCH EXPERIENCE
2005 – 2009: Research Officer, IMAG (Applied Mathematics Institute of Grenoble), France
2003 – 2004: Research Officer, LRI (Computer Resherch Laboratory), Paris XI University, France
TEACHING EXPERIENCE
2006 – 2007: Project supervisor, Polytech’ G (Polytechnic School of Grenoble), Grenoble, France
2005 – 2006: Teaching Assistant, UMV (Marne-La-Vallée University), Paris-East, France