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
Diplôme d’ingénieur d'état de l’ Ecole Centrale de Marseille
(Intégré en 3/2 et ai réussi le concours écrit de Centrale de Paris et de SUPELEC)
Classes Préparatoires (Maths Sup/Maths Spé option M’ )
Au lycée Lyautey de Casablanca
Baccalauréat Sciences Mathématiques au lycée Moulay Driss de Fès
(1er prix du lycée en 5ème et 6ème année du lycée)
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.