
Global Faculty
Kamel Barkaoui
Professeur des universités (classe exceptionnelle), Le Cnam
Cours signature
Modélisation formelle et vérification par les réseaux de Petri
Biographie
Je suis professeur des universités au Conservatoire national des arts et métiers (Le Cnam). Je suis titulaire d’un doctorat (1988) et d’une habilitation à diriger des recherches (1998) en informatique de Sorbonne Université.
Depuis mon habilitation en 1998, j’ai été invité à siéger comme examinateur externe dans les jurys de 41 thèses de doctorat et de 12 habilitations, principalement en France mais aussi dans des universités à l’étranger : Maghreb, Chine, Afrique du Sud, Qatar, Inde, Italie, Canada et États-Unis.
J’ai été invité à donner des conférences dans de nombreuses universités et manifestations, notamment l’International Colloquium on Theoretical Aspects of Computing (ICTAC, 2019) ; la School of Electro-Mechanical Engineering de l’Université Xidian, à Xi’an (2019) ; le College of Control Science and Engineering de l’Université du Zhejiang, à Hangzhou (2018) ; la School of Information & Electronic Engineering de l’Université Zhejiang Gongshang, à Hangzhou (2018) ; le laboratoire Computer Science for Complex System Modelling de l’Université de Saragosse (2016) ; le laboratoire VeriForm de Polytechnique Montréal (juin 2016) ; ou encore le département de génie logiciel de l’Université King Saud.
Outre la publication de plus de 55 articles dans des revues internationales indexées à comité de lecture (ISI, Scopus ; trois articles indexés ESI) et de plus de 150 communications dans des conférences internationales à comité de lecture, je mène de nombreuses activités de recherche au laboratoire Cedric du Cnam (EA1395) depuis sa création en 1988, où je suis responsable de la thématique Vérification et évaluation depuis 1998. Je suis également membre du comité de programme de plusieurs conférences internationales, sur plusieurs éditions.
Ma passion pour l’informatique et pour la recherche dans des domaines variés m’a poussé à toujours aller de l’avant, à approfondir mes connaissances et à développer ma carrière jusqu’à mon poste actuel, en obtenant de nombreuses distinctions. Je suis convaincu qu’avec du travail et de la confiance, on peut accomplir beaucoup, et notamment réaliser ses rêves et ses objectifs.
Envie d’apprendre avec Kamel Barkaoui ?
Un conseiller vous oriente vers le programme qui correspond à votre ambition.
Établissements
Faire intervenir Kamel Barkaoui
Universités, écoles, organismes de formation : déposez une demande d’intervention pour un cours ou un module. L’équipe MUniversity étudie votre besoin et organise la mise en relation.
Faire appel à ce professeur