Moez KrichenDr. Moez Krichen obtained his HDR (Ability to Conduct Researches) in Computer Science from the University of Sfax (Sfax, Tunisia) in 2018. He obtained his PhD in Computer Science in 2007. He is currently an Associate Professor at the University of AlBaha (KSA) and a member of the Research Laboratory on Development and Control of Distributed Applications - REDCAD (Sfax, Tunisia). His main Research Interest is Model-Based Conformance/Load/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, Internet of Things (IoT), Smart Vehicles, Drones, Healthcare Systems, etc. Currently, he is also working on Formal Aspects related to Deep Learning, Data Mining, Block-chain, Smart Contracts and Optimization. Read More Read Less