Dr. Abdelhakim Baouya is a Ph.D. in Computer engineering supervised by Otmane Ait Mohamed from CONCORDIA University, CANADA, and Djamal Bennouar with the financial support of Algerian Ministry of Higher Education and Scientific Research since May 2016. Currently, Dr. Baouya is PostDoc in the Verimag laboratory, University of Grenoble Alpes. He is working on Formal verification using BIP applied to embedded systems and Blockchain. Dr. Baouya is interested in developing formal methods, techniques, and tools for the System-level Design of Embedded and Cyber-Physical Systems. Some of his interests are Model-based Design (UML, SysML, AADL, Autofocus AF3), Dependability Analysis, Stochastic Component-based Design, Statistical/Probabilistic Model-checking. Dr. Baouya taught "Software Architecture" and "IT and Network Security" at the University of BLIDA - Algeria. He served as a reviewer for journals and conferences (IEEE, EDiS, CIIA).
Main Collaborators: Eclipse Foundation, Paremus, Robotnik Automation, STMicroelectronics, Improving Metrics.