Kamel Barkaoui

Registered user since Mon 19 Dec 2022

Name:Kamel Barkaoui
Bio:

Kamel Barkaoui is full professor (Exceptional Class) at the Department of Computer Science of Conservatoire National des Arts et Métiers (Le Cnam - Paris). He obtained his Ph. D in Computer Science (1988) and Habilitation à Diriger des Recherches (1998) from Université Paris 6 (UPMC). His research interests lie in the field of formal methods for specification, verification, control and performance evaluation of concurrent and discrete-event systems. He supervised more than 36 PhD theses; he published 45 papers in International Journals and more than 150 peer-reviewed papers in international conferences and contributed to several books. He leaded or participated in more than 10 international research projects. He received the Outstanding Paper Award at the IEEE Int. Conf. on System Man and Cybernetics (Vancouver 1995) and is recipient of the Prime d’Excellence Scientifique since 1998. Kamel Barkaoui served on PCs and as PC chair and OC chair of several international workshops and conferences in his areas of research. He was PC co-chair of the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC2006) and 13th Colloquium on Modelling of reactive sSystems (MSR2021), General cochair of the 18th International Symposium on Formal Methods (FM2012), General chair of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets2014) and of the 14th International Conference on Application of Concurrency to System Design (ACSD’2014). He is founder and SC chair of the International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). He was a Guest Editor for Formal Aspects of Computing Journal (FACJ), Journal of Systems and Software (JSS), ACM Transactions on Embedded Computing Systems (TECS), Innovations in Systems and Software Engineering - A NASA Journal (ISSE), Journal of Discrete Event Systems ( DEDS) and referee for several international Journals on Automatic Control or Computer Science. Kamel Barkaoui is currently member of Editorial board of Arima Journal and Associate Editor for the International Journal of Critical Computer-Based Systems (IJCCBS) and IEEE/CAA Journal of Automatica Sinica. He was elected in 2016 member of the Tunisian Academy of Sciences, Letters and Arts (Beit al Hikma) and in 2022 vice president of the African Society in Digital Sciences (ASDS).

Country:France
Affiliation:CEDRIC - CNAM - Paris, France
Research interests:Formal methods, Verification, Control, Performance evaluation

Contributions