Curriculum Vitae

Doctorat Français en informatique (Option CAO)

au Laboratoire d’Automatique et d’Informatique de Marseille (LAIM, LSIS actuellement)

Directeur de Thèse : M. Norbert GIAMBIASI (Que DIEU le couvre de sa miséricorde )

Directeur du Labo : M. Jean Claude BERTRAND

Réalisation d’une mémoire tampon pour couplage d’une expérience de vélocimétrie laser bidimensionnelle à un Miniordinateur

Ce travail est une contribution à la réalisation d’un projet commun à la société Nationale de l’Industrie Aérospatiale (S.N.I.A.S) et l’Institut des Mécaniques des Fluides de Marseille (I.M.F.M) et qui est le repérage des ailes d’un hélicoptère.

Développement d’un logiciel d’acquisition et de traitement des données fournies par une expérience de vélocimétrie laser bidimensionnelle.

Ce travail est une continuation du travail précédent.

Etude et réalisation d’un logiciel d’unification de listes en LeLisp de L’INRIA

Ce travail est une contribution à l’étude et à la réalisation du moteur d’inférence d’un système expert pour le diagnostic des circuits digitaux : Termes d’un contrat conclu entre le Laboratoire d’Automatique et d’Informatique de Marseille (L.A.I.M.) et la société CIMSA de Paris

Etude et développement d’un simulateur symbolique comportemental de circuits digitaux en utilisant les langages C, FRL, et LeLisp de l’INRIA

Ce travail est une contribution à l’étude et la conception d’un outil de « preuve formelle » de correction d’une conception de matériel réalisée par un Langage de Description de Matériel (HDL) : Termes d’un contrat conclu entre les organismes suivants :

ADI : Agence de Développement de l’Informatique

ESD : Electronique Serge Dassault

INRIA : Institut National de Recherche Informatique et Automatique

LAIM : Laboratoire d’Automatique et d’Informatique de Marseille

GRTC : Groupe de Représentation et de Traitement des Connaissances du CNRS.