Mohammed Said BELAID
Table of Contents
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
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."