Moez Krichen is an associate professor of Computer Science, AlBaha
University, Saudi Arabia and a member of the Research Laboratory on Development
and Control of Distributed Applications (REDCAD), Sfax. He received a Ph.D.
degree in computer science from Joseph Fourier University, France, in 2007, and
a HDR (Ability to Conduct Researches) degree in computer science from the
University of Sfax, Tunisia, in 2018. 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 like 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.