معرفی
Dr. Rakib Abdur is Associate Professor and Systems Security Group member at Coventry University's Institute for Future Transport and Cities, specializing in formal verification of autonomous systems. Research focuses on modeling and verifying safety/security properties in resource-constrained environments using temporal logics and model-based testing. Holds PhD in Computer Science from University of Nottingham (2011) on verifying resource-bounded agents, with prior positions at University of West of England and University of Nottingham Malaysia Campus.
Current work includes developing simulation frameworks for automotive cybersecurity risk assessment and context-aware security models. Leads projects on enhanced intrusion detection systems using meta-heuristic optimization and cybersecurity roadmaps for connected infrastructure. Contributions include formal methods for analyzing qualitative/quantitative properties in safety-critical autonomous systems.
