Hi everbody, my name is CHAFIK Anasse and I am a PhD student at CRIL Lens, France. I have obtained my baccalaureate in 2012, finished my engineering degree at the "Ecole nationale des sciences appliquées" Tangier, Morocco, and got my master degree on Artificial intelligence at the Université d'Artois in Lens.
Currently, I am working on my thesis on Defeasible Temporal Logic for the specification and the verification of the exception-tolerant systems, under the mentorship of Jean-François CONDOTTA, Fahima Cheikh-Alili, and Ivan Varzinczak.
My fields of interest are:
The non-monotononic reasoning allows to formalize and reason with exceptions and dynamism of information, it has been widely studied by the IA community for over 40 years now. However, the major contributions in this area are limited to the propositional framework, so can be expressive for the above tasks. It is only recently that some approaches to non-monotonic reasoning, such as constituency, default rules and preferential approaches, have been studied for more expressive logics than propositional logic, including modal and description logics. The objective of our study is to establish a bridge between temporal formalisms for the specification and verification of computer systems and the different approaches to non-monotonic reasoning.
Keywords: Knowledge Representation and Reasoning, Temporal Logic, Non-monotonic Reasoning.
|school Academic career|
|Since 2018||PhD student at the CRIL laboratory.|
|2017-2018||Master degree (Artificial Intelligence) at Faculté Jean Perrin. Lens,France.|
|2012-2017||Engineering degree (Computer Science) at ENSAT. Tangier, Morocco.|
|2011-2012||Bachelor degree (Mathematics) at Ibn Al Khattib High school. Tangier, Morocco.|
|work Professional Experience|
|2018||Research Internship at CRIL: "Defeasible Temporal Logic".|
|2017||Developed a platform that manages the construction permit process in Tangier Free Zone.|
|2016||Build the LaBTIC website.|
|Languages||Arabic, English, French.|
|Programming||C, Perl, Java.|
Supervised Practical work: