Education

• PhD in Computer Science. Univ. of H.P. Nancy 1, France. 1996.

  Title of the thesis:

  Symbolic and Numeric Constraint Propagation Techniques for Temporal Reasoning.

  Supervisors:

  Prof. Jean Paul Haton, Dr. François Charpillet.

• MSc in Computer Science. Univ. of H.P. Nancy 1, France. 1992.

  Title of the thesis:

  Using Assumptions Truth Maintenance Systems for Qualitative Reasoning.

  Supervisors:

  Prof. Jean Paul Haton, Dr. François Charpillet.

• MEng in Computer Science. Univ. of Constantine, Algeria. 1989.

  Title of the MEng dissertation:

  Developing a Natural Language Interface for Data Base Queries.

  Supervisor:

  Prof. Nguyen Ba Hao.