Moez Krichen received a Ph.D. in computer science from Joseph Fourier University, Grenoble, France in 2007 and an HDR (ability to conduct research) degree in computer science from the University of Sfax, Sfax, Tunisia in 2018. He is currently an Assistant Professor at the National School of Engineers of Sfax and a member of the Research Laboratory on the Development and Control of Distributed Applications (REDCAD), Sfax. His main research interests include model-based conformance, load, and security testing methodologies for real-time, distributed, and dynamically adaptable systems. Moreover, he works on applying formal methods to several modern technologies such as smart cities, the Internet of Things (IoT), smart vehicles, drones, and healthcare systems. Currently, he is also working on formal aspects related to deep learning, data mining, blockchain, smart contracts, and optimization.
