Research output per year
Research output per year
Personal profile
Biography
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):
Education/Academic qualification
Computer Science, Doctorate, University of Nottingham
Fingerprint
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Analysing the Predictivity of Features to Characterise the Search Space
Durgut, R., Aydin, M. E., Ihshaish, H. & Abdur, R., 2 Jul 2022, (Accepted/In press) Analysing the Predictivity of Features to Characterise the Search Space. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Memory-Constrained Context-Aware Reasoning
Uddin, I., Abdur, R., Ali, M. & Vinh, P. C., 22 Jan 2022, Context-Aware Systems and Applications. ICCASA 2021. Vinh, P. C. & Rakib, A. (eds.). 1 ed. Springer, Cham: Springer , p. 133-146 14 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 409).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Transfer Learning for Operator Selection: A Reinforcement Learning Approach
Durgut, R., Aydin, M. E. & Rakib, A., 17 Jan 2022, In: Algorithms. 15, 1, 17 p., 24.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)6 Downloads (Pure) -
Transfer Learning for Operator Selection: A Reinforcement Learning Approach
Durgut, R., Aydin, M. E. & Rakib, A., 21 Dec 2021, Preprints.org.Research output: Working paper/Preprint › Preprint
Open Access -
Model checking ontology‐driven reasoning agents using strategy and abstraction
Rakib, A. & Faruqui, R. U., 28 Dec 2020, In: Concurrency and Computation: Practice and Experience. 33, 2, 18 p., e5205.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus)