Rakib Abdur


    Accepting PhD Students

    Calculated based on number of publications stored in Pure and citations from Scopus

    Research activity per year

    Personal profile


    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.

    Research Interests

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

    Vision Statement

    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.

    Expertise related to UN Sustainable Development Goals

    In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

    • SDG 9 - Industry, Innovation, and Infrastructure

    Education/Academic qualification

    Computer Science, Doctorate, Verifying requirements for resource-bounded agents, University of Nottingham


    Dive into the research topics where Rakib Abdur is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles

    Collaborations and top research areas from the last five years

    External collaboration on country/territory level for the past five years. Dive into details by clicking on the dots or