[ new ] R&D engineer at OCamlPro and
research associate in the VALS team of LRI since September 2013.
[ new ] I defended my PhD thesis on June 10th, 2013.
I started my Phd thesis at the University of Paris-Sud XI
in october 2009. I am supervised by
Sylvain Conchon and
Evelyne Contejean. I am a member of the Toccata team which belongs to
Laboratoire de Recherche en Informatique and
During my thesis, I focused on the following topics:
- Combining rewriting and SMT techniques
- Designing decision procedures for SMT
- Combination of decision procedures
Administrative adress: Bat 650, Univ. Paris Sud, 91405 Orsay Cedex, France
Location: Office 36, Bat 650 South, Rue Noetzlin, 91190 Gif sur Yvette, France
Phone number: (+33) (0)1 74 85 42 43
E-mail: Mohamed "dot" Iguernelala "at" lri "dot" fr