Mohammed Said BELAID

Table of Contents

Mohammed Said BELAID Ph.D. in Computer Science


Adress: Laboratoire I3S - CS 40121 - 06903 Sophia Antipolis.

Phone: +33 4 92 94 27 44

1 Research interests

  • Constraint programming
  • Floating-point computation
  • Program testing and verification

2 Curriculum Vitae

3 Education

PhD student in Computer Science, at I3S laboratory, under the supervision of Michel Rueher and Claude Michel. PhD thesis subject: A specific solver over floating-point constraints for test and verification purposes.
Master degree in Computer Science in the University of Rennes 1. Studentship Grant from the Michel Métivier foundation.
Engineer degree in computer science in the university of Oran Es-Senia (Ranked First).

4 Teaching

  • Object Oriented Programming (POO), Polytech' Nice-Sophia (SI3).
  • Introduction to Programming and Algorithms (IPA), Polytech' Nice-Sophia (MAM3).

5 Publications

  • Résolution de contraintes sur les flottants dédiée à la vérification de programmes. Mohammed Said Belaid. PhD thesis, Université de Nice Sophia Antipolis, Decembre 2013. Thesis pdf, slides.
  • Boosting local consistency algorithms over floating-point numbers. Mohammed Said Belaid, Claude Michel, Michel Rueher. CP 2012 , LNCS 7514, p. 127-140. pdf
  • Un nouvel algorithme de consistance locale sur les nombres flottants. Mohammed Said Belaid, Claude Michel, Michel Rueher. Proc. JFPC 2012, p 211-219. pdf
  • Approximating floating-point operations to verify numerical programs. Mohammed Said Belaid, Claude Michel, Michel Rueher. SCAN 2010, 14th GAMM-IMACS. pdf
  • Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels. Mohammed Said Belaid, Claude Michel, Michel Rueher. Proc. JFPC 2010, p 51-60. pdf


  • Albert Einstein

“Theory is when you know everything but nothing works. Practice is when everything works but nobody knows why. We have put together theory and practice: nothing is working… and nobody knows why!”

  • Gaston Bachelard

"Celui qui trouve sans chercher est celui qui a longtemps cherché sans trouver."

  • Siegfried M. Rump

"Yesterday I finished a proof, Today I found a flaw. I had a pleasant night."

  • Mohamed (pbuh)

"Do not belittle any good deed, even meeting your brother with a cheerful face."

Date: 2013-12-16 17:54:58 CEST

Author: Mohammed Said BELAID

Org version 7.8.06 with Emacs version 23

Validate XHTML 1.0