Kamel Barkaoui

Kamel Barkaoui is full professor (Exceptional Class) at the Department of Computer Science of Conservatoire National des Arts et Métiers (Cnam). He obtained his Ph. D in Computer Science (1988) and Habilitation à Diriger des Recherches (1998) from Université Paris 6. His research interests lie in the field of formal methods for specification, verification, control and performance evaluation of concurrent discrete event systems. He has published over 200 papers on these topics, as well as supervising 36 PhD theses. He received the 1995 IEEE Int. Conf. on System Man and Cybernetics Outstanding Paper Award. He served on PCs and as PC chair and OC chair of several international workshops and conferences in his areas of research and was PC co-chair of the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006). He was the General co-chair of the 18th International Symposium on Formal Methods (FM 2012), the 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014) and of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). Kamel Barkaoui is founder and SC chair of the International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). He was a Guest Editor of issues of Formal Aspects of Computing Journal (FACJ), Journal of Systems and Software (JSS), ACM Transactions on Embedded Computing Systems (TECS) and at NASA Journal Innovations in Systems and Software Engineering (ISSE). He is also referee for several international Automatic Control and Computer Sciences Journals. Kamel Barkaoui is currently Associate Editor for the International Journal of Critical Computer-Based Systems (IJCCBS) and for IEEE/CAA Journal of Automatica Sinica. He was elected in 2016 member of the Tunisian Academy of Sciences, Letters and Arts (Beit al-Hikma).