Alvi Jawad is a Ph.D. student in the Department of Systems and Computer Engineering at Carleton University, Ottawa, ON, Canada. He received his M.A.Sc. degree in Electrical and Computer Engineering in 2021 from Carleton University and his B.Sc. degree in Electrical and Electronic Engineering in 2017 from the Islamic University of Technology, Bangladesh. His research interests involve the use of formal model-based approaches to assess the cybersecurity of critical infrastructures, in particular, industrial control and cyber-physical systems, and the Internet of Things (IoT).