Walid Karamti was born in Sfax, Tunisia, in 1985. He received the bachelor’s, master’s, and Ph.D. degrees in computer science from the University of Sfax, Tunisia, in 2008, 2010, and 2015, respectively. From 2015 to 2019, he was an Assistant Professor with the University of Monastir, Tunisia. He is currently an Assistant Professor with Qassim University, Saudi Arabia. He is the author/coauthor of several articles in international conferences and journals. His current research interests include formal methods for the analysis of behaviors in real time systems and social networks.