Personal Information
Organization / Workplace
Nice Area, France France
Occupation
Maître de Conférences Classe A (enseignant-chercheur)
Industry
Technology / Software / Internet
Website
About
Je suis Maître de Conférences Classe A à l'École Supérieure en Informatique de Sidi Bel Abbès en Algérie et membre du Laboratoire de Recherche en Informatique (LabRI-SBA) au sein de la même institution. Je suis titulaire d'un doctorat en informatique de l'Université d'Oran 1. Mes domaines de recherche portent sur le génie logiciel, en particulier les tests, la vérification de modèles bornés et la localisation des erreurs dans les programmes informatiques. Je suis également passionné par la programmation par contraintes, l'intelligence artificielle et le traitement automatique du langage naturel (NLP), ainsi que par les techniques de diagnostic des CSPs.
Contact Details
Tags
bugassist
locfaults
error localization
minimal correction deviations
minimal correction subsets
tcas benchmark
spectrum-based technique
model checking
fault localization
off-by-one bug
testing
program verification
constraint programming
debugging
See more
- Presentations
- Documents
- Infographics