Dr. Zohra SBAI received a Ph.D. degree in Computer Sciences in 2010 from CNAM Paris, France and jointly from ENIT, Tunis El Manar University, Tunisia. She also obtained an Engineer Degree in Computer Sciences from ENIT in 2003 and a Master Diploma in ATS from ENIT in 2004. Since 2004, Dr. SBAI has been a faculty member (assistant then assistant professor) in the Information and Communication Technologies department of ENIT. Since September 2016, she is attached to the College of Computer Engineering and Sciences, PSAU University, KSA where she is an assistant professor and the deputy head of the Computer Sciences department. Her research interests include Formal Verification and Applications of Artificial Intelligence and Deep Learning. Dr. SBAI has authored or co-authored about 40 journals and conference papers and has served as a reviewer for some journals and a PC member for many international conferences and workshops.