Benhamou Belaid

BENHAMOU Belaid

Professeur des Universités Université d'Aix-Marseille, France – Laboratoire d’Informatique et des Systèmes (LIS, UMR CNRS 7020)

Origines & Formation

Né en 1963 dans la wilaya de Tizi-Ouzou (Algérie), Belaid Benhamou a étudié au lycée Amirouche, puis à l’Université Mouloud Mammeri de Tizi-Ouzou. Il est diplômé ingénieur en informatique, titulaire d’un DEA, d’un doctorat et d’une Habilitation à Diriger des Recherches (HDR) en informatique.

Carrière Scientifique

Ses travaux de recherche relèvent de l’intelligence artificielle symbolique, en particulier :

• Logique propositionnelle et résolution de problèmes SAT
• Problèmes de satisfaction de contraintes (CSP) à domaines finis
• Étude des symétries en logiques classiques et non classiques
• Symétries dans les CSP, réseaux de contraintes temporelles (algèbre d’Allen)
• Génération de modèles finis, démonstration automatique
• Révision/fusion d’informations à base de contraintes
• Méta-heuristiques pour l’optimisation combinatoire
• Data-mining, classification, apprentissage sous contraintes
• Programmation logique, answer set programming (ASP), réseaux booléens, modélisation biologique
• Raisonnement non-monotone

Distinctions & Reconnaissances

• Plus de 150 publications scientifiques internationales (revues et conférences)
• Directeur de 12 thèses de doctorat
• Coordinateur ou membre de nombreux projets de recherche
• Organisateur de conférences scientifiques
• Membre de plus de 48 comités de programmes de conférences

Impact & Influence

Certains de ses travaux, notamment sur les symétries dans les réseaux de contraintes, sont considérés comme fondateurs et ont été largement repris par la communauté scientifique internationale.

Pour en savoir plus

Email : belaid.benhamou@univ-amu.fr
LinkedIn : profil
DBLP : liste des publications
ResearchGate : profil
IEEE : auteur IEEE
ScholarGPS : profil