Dr Rakib Abdur
Associate Professor
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.
Education/Academic qualification
Computer Science, Doctorate, University of Nottingham
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.
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.
Education/Academic qualification
Computer Science, Doctorate, University of Nottingham
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.
Tutors
Dr Hesamaldin Jadidbonab
Lecturer in System Security
Tutors
Alexeis Garcia-Perez
Professor of Management Information Systems
Tutors
Paul Herriotts
Professor, Institute for Future Transport and Cities
Tutors
Jesper Christensen
Assistant Professor
Tutors
Stewart Birrell
Professor, Institute for Future Transport and Cities
Tutors
Jeremy Bryans
Assistant Professor in Automotive Cybersecurity, Institute for Future Transport and Cities, Coventry University
Tutors
Alireza Daneshkhah
Assistant Professor, School of Computing, Electronics and Maths
Tutors
Graham Shelton-Rayner
Reader, Institute for Future Transport and Cities
Tutors
Vasile Palade
Reader, Institute for Future Transport and Cities
Tutors