Dr. Rakib is an Associate Professor and a member of the Systems Security Group at the Institute for Future Transport and Cities, Coventry University. His research interests include modelling, analysis and verifying qualitative, quantitative, and safety/security properties of autonomous systems. Prior to joining Coventry University, he held several research and teaching positions at various institutes. He worked as a Senior Lecturer in the Department of Computer Science and Creative Technologies at the University of the West of England (UWE-Bristol) from May 2017 to May 2022. Before that, he worked as an Assistant Professor in the School of Computer Science at the University of Nottingham Malaysia Campus from February 2012 to April 2017. He was a postdoctoral research fellow at St. Francis Xavier University (StFX), Canada,  funded by The ACEnet Research Fellowships Program and by ACOA through the Atlantic Innovation Fund from February 2011 to January 2012. In 2011, he obtained his PhD in Computer Science from the School of Computer Science at the University of Nottingham, where he worked on an EPSRC funded project titled Verifying requirements for resource-bounded agents as project no EP/E031226/1.

Logics and Formal Verification; Simulation and Model-based Testing; Automotive Systems; Multi-agent Context-Aware Systems.

Modern living includes computerised devices in every aspect. Examples include autonomous automobile systems, medical monitoring, industrial control systems, and robotics systems. Many of these systems have high safety and/or security requirements, thus any security or safety issues could have disastrous effects. My recent work has mostly focussed on formal approaches to verifying and validating systems security and safety requirements.