Mohammed Said BELAID

Table of Contents

Mohammed Said BELAID Ph.D. in Computer Science

Mail: msbelaid@i3s.unice.fr

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

2009-2013
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.
2008-2009
Master degree in Computer Science in the University of Rennes 1. Studentship Grant from the Michel Métivier foundation.
2003-2008
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

6 Quotes

  • 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