معرفی
AbdelAli ED-DBALI is a Lecturer in Computer Science at the University of Orleans' Faculty of Sciences, Department of Computer Science, where he has been employed since September 1993. He has held significant administrative positions including Vice-President in charge of Digital and Educational Innovation (May 2016-May 2022), Digital Communication Officer (2012-2016), Facilitator of the Communication Commission (2009-2012), and Director of the Computer Science Department (2006-2012).
Dr. ED-DBALI obtained his PhD in computer science in 1993 under the supervision of Gérard Ferrand and Pierre Deransart. His research, conducted jointly at the University of Orleans and INRIA, focused on formal and executable specification in logic programming with application to the standardization of the Prolog language. He contributed to Prolog standardization within the ISO WG17/SC22 international expert group.
His research interests center on Logic Programming, Constraint Programming, Formal Specification, and Prolog Language Standardization. He has published significant work on constraint satisfaction problems, consistency algorithms, and the application of machine learning to constraint solvers. His research shows a consistent focus on the theoretical foundations of logic programming with practical applications in constraint solving and language standardization.
His publications demonstrate expertise in both theoretical computer science and practical implementation, with a notable gap between 2003 and 2023 publications suggesting a period of administrative focus followed by a return to research. The 2023 work on Verified High Performance Computing indicates an expansion of his research interests into verification techniques for parallel computing systems.
Dr. ED-DBALI is best known for his contribution to the book Prolog - The Standard: Reference Manual, which provides a comprehensive description of the ISO standard for the Prolog programming language. This work established him as an authority in logic programming language specification.
As an administrator, he managed the university's digital strategy, information systems infrastructure, and educational support systems. He was responsible for implementing and developing the university website and deploying digital signage screens across campuses, with a focus on enhancing university attractiveness.
His departmental leadership involved managing approximately 550 students and 26 permanent teacher-researchers, along with 8 doctoral/post-doctoral students and 4 technicians/administrators in the Computer Science Department.
