Doctor (PhD) in computer science, a lecturer with the Department of Computer Science at El Oued University (Algeria), interested in Software Engineering and Model Driven Engineering (MDE) using the Unified Modelling Language (UML) and the Object Constraint Language (OCL) and the FoCaLiZe formal environment. Recent research interests concern verifying Object Oriented (Java) Software, computerized mathematics, data science and artificial intelligence applications (NLP and computer vision).