Curriculum Vitae – Dr. Mohammed Said BELAID

Curriculum Vitae – Dr. Mohammed Said BELAID
Personal
information
Research Area
Ph.D. in computer science.
Date of birth: March 18th, 1986
Nationality: Algerian
Tel: +33 4 92 94 27 44
Mob: +33 6 62 47 17 65
Laboratoire I3S, CS 40121
06903 Sophia Antipolis
[email protected]
http://www.i3s.unice.fr/∼msbelaid/
Floating-point computation
Constraint programming
Program testing and verification
Education
2009-2013 University of Nice Sophia Antipolis.
PhD student in Computer Science, at I3S laboratory.
Title: Constraint solver over floating-point numbers designed for program
verification.
Supervisors: Michel RUEHER and Claude MICHEL.
Team project: CeP, CAVERN.
2008 - 2009 University of Rennes 1.
Master degree in Computer Science.
Speciality Component-Based Embedded Software.
Studentship from the Michel Métivier foundation.
2003 - 2008 University of Oran Es-Senia.
Engineer degree in computer science (Ranked First).
Academic and
professional
experience
2009-2013 Constraint solver over floating-point numbers designed for program
verification.
CeP team at I3S laboratory.
2012-2013 Teaching Assistant at Polytech’ Nice Sophia (96 hours).
2009 (6 months) Master’s training at l’IRISA/INRIA in Triskell team.
Incremental evaluation of OCL constraints.
2008 (6 months) Engineering training at the university of Oran Es-Senia.
A Protégé plugin for analysing ontologies using constraints programming.
Talks and
seminars
• Boosting local consistency algorithms over floating-point numbers.
CP’12 conference presentation, October 9th 2012 at Quebec, Canada.
• Un nouvel algorithme de consistance locale sur les nombres flottants.
JFPC’12, May 22th 2012 at Toulouse, France
• Linear constraints over floating-point variables.
Réunion du projet CAVERN, September 29th 2011 at Rennes, France.
• Approximating floating-point operations to verify numerical programs.
SCAN’10 28 September 2010 at Lyon, France.
• Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels.
JFPC’10 conference presentation, June 11th 2010 at Caen, France.
• Approximation sur les réels de contraintes sur les flottants.
Réunion du projet CAVERN, Mars 30th 2010 at Nice, France.
• Co-organisation of ITI’11 school, 11-15 December 2011, Oran, Algeria.
• Attended ICST’11 conference, 21-25 March 2011 at Berlin, Germany.
• Attended the ACP’10 Summer School on Constraint Programming: Introduction and Perspectives. May 3-7 at Aussois(France).
Publications
Boosting local consistency algorithms over floating-point numbers.
Mohammed Said Belaid, Claude Michel, Michel Rueher.
CP 2012 , LNCS 7514, p. 127-140.
Un nouvel algorithme de consistance locale sur les nombres flottants.
Mohammed Said Belaid, Claude Michel, Michel Rueher.
Proc. JFPC 2012, p 211-219.
Approximating floating-point operations to verify numerical programs.
Mohammed Said Belaid, Claude Michel, Michel Rueher.
SCAN 2010, 14th GAMM-IMACS.
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.
Teaching
2012-2013 Object Oriented Programming. Poytech’ Nice-Sophia, SI3. (26h)
2012-2013 Introduction to Programming and Algorithms. Poytech’ NiceSophia, MAM3. (72h)
Technical skills Operating Systems Windows, Linux.
Programming Languages Java, C/C++.
Development Platforms Eclipse, Emacs, Microsoft Visual Studio.
Solvers Choco, Comet, CPLEX, CP Optimizer, Z3, RealPaver.
Web/Mobile HTML, CSS, JavaScript, XML, OWL, Android SDK, Phonegap.
Formalism UML.
Others Flex/Bison, OCL, Kermeta, Protégé.
Languages
Arabic(Native), French, English.