Benhamou Belaid

BENHAMOU Belaid

Professor of Computer Science Aix-Marseille University, France – Laboratory of Computer Science and Systems (LIS, UMR CNRS 7020)

Origins & Education

Born in 1963 in Tizi-Ouzou (Algeria), Belaid Benhamou studied at Amirouche High School and later at Mouloud Mammeri University of Tizi-Ouzou. He holds an engineering degree in computer science, a DEA, a PhD, and a French habilitation (HDR).

Scientific Career

His research focuses on symbolic artificial intelligence, including the following topics:

• Propositional logic and SAT solving
• Constraint Satisfaction Problems (CSP) over finite domains
• Symmetries in classical and non-classical logics
• Symmetries in CSPs and temporal constraint networks (Allen algebra)
• Finite model generation and automated theorem proving
• Information revision and fusion using constraints
• Metaheuristics for combinatorial optimization
• Constraint-based data mining, classification, and learning
• Logic programming, stable models, Answer Set Programming (ASP)
• ASP, Boolean networks, and biological problems
• Non-monotonic reasoning

Honors & Recognitions

• Over 150 international scientific publications (journals and conferences)
• Supervised 12 PhD theses in computer science
• Coordinator and member of several research projects
• Organizer of numerous scientific events
• Member of over 48 conference program committees

Impact & Influence

Some of his contributions, especially on symmetry in constraint networks, are considered foundational and widely cited by the international AI research community.

More Information

Email: belaid.benhamou@univ-amu.fr
LinkedIn: profile
DBLP: publication list
ResearchGate: profile
IEEE: IEEE author page
ScholarGPS: profile