Mohammed Said BELAID

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

• Download

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).

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

• 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."