School of Computer Science
   
   
  
 

Image of Abdur Rakib

Abdur Rakib

Assistant Professor, Faculty of Science

Contact

Biography

Abdur obtained his PhD in Computer Science from the School of Computer Science at the University of Nottingham, U.K. . During his PhD he has worked on the project Verifying Requirements for Resource-Bounded Agents funded by the EPSRC as project number EP/E031226. After completion of PhD he worked as a post doctoral research fellow on a project "Verification Methods for Time Sensitive Safety Critical Systems using HPC" at the StFX University Canada. This position was supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca ) Research Fellowships Program and by ACOA through the Atlantic Innovation Fund. Since January 2012, he has joined as an Assistant Professor in the School of Computer Science at the University of Nottingham Malaysia Campus. Abdur is an Associate Fellow of The Higher Education Academy (HEA) and a Professional Member (MBCS) of The British Computer Society (BCS).

Teaching Summary

In 2014/15 session I am teaching the following modules:

Autumn Semester

  • G52ADS Algorithms and Data Structures
  • G52SEM Software Engineering Methodologies
  • G64IPD Introduction to Computer Programming and Development

Spring semester

  • G64SWE Software Engineering
  • G52CPP C++ Programming

In previous sessions I have taught:

  • G64INC: Introduction to Network Communications
  • G51PRG Introduction to Programming
  • G52CON: Concepts of Concurrency
  • G64OOS: Object Oriented Systems
  • G64ADS: Advanced Data Structure
  • G64FAI: Foundations of Artificial Intelligence

Research Summary

My research interests and activities are in the area of formal modeling and verification of agent-based systems. This covers the foundations as well as the design, implementation, and application of… read more

Recent Publications

  • ABBA LAWAN, ABDUR RAKIB, NATASHA ALECHINA and ASHA KARUNARATNE, 2016. The Onto-CropBase – A Semantic Web Application for Querying Crops Linked-Data. In: STANISŁAW KOZIELSKI, DARIUSZ MROZEK, PAWEŁ KASPROWSKI, BOŻENA MAŁYSIAK-MROZEK and DANIEL KOSTRZEWA, eds., Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery 1. 613. Springer International Publishing. 384-399
  • IJAZ UDDIN, HAFIZ MAHFOOZ UL HAQUE, ABDUR RAKIB and M.R.SEGI RAHMAT, 2016. Resource-bounded context-aware applications : A survey and early experiment. In: PHAN CONG VINH ET AL., ed., Nature of Computation and Communication 168. Springer International Publishing. XX-XX (In Press.)
  • ABDUR RAKIB, ABBA LAWAN and SUE WALKER, 2015. An ontological approach for knowledge modelling and reasoning over heterogeneous crop data sources. In: AJITH ABRAHAM, AZAH KAMILAH MUDA and YUN-HUOY CHOO, eds., Pattern Analysis, Intelligent Security and the Internet of Things 1. 355. Springer International Publishing. 35-47
  • HOANG NGA NGUYEN, NATASHA ALECHINA, BRIAN LOGAN and ABDUR RAKIB, 2015. Alternating-time temporal logic with resource bounds Journal of Logic and Computation, Oxford University Press.

Current Research

My research interests and activities are in the area of formal modeling and verification of agent-based systems. This covers the foundations as well as the design, implementation, and application of intelligent agents to social complex systems such as, for example, health-care systems. I am also interested in Semantic Web-&-Agent Technologies, and Ontology-driven context-aware systems.

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

telephone: +44 (0) 115 951 4251
fax: +44 (0) 115 951 4254
email: csit-enquiries@cs.nott.ac.uk