Mohamed Iguernelala

Mohamed Iguernelala

[ 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 INRIA-Saclay Ile-de-France.

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
PS: Mohamed Iguernelala is NOT on Facebook, or Twitter, or LinkedIn, or Viadeo, or Tagged, . . . or any "social / professional network"