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 a Fellow of The Higher Education Academy (HEA) and a Professional Member (MBCS) of The British Computer Society (BCS).

Teaching Summary

In 2016/17 session I am teaching the following modules:

Autumn Semester

  • G52ACE Algorithms Correctness and Efficiency

Spring semester

  • G52ACE Algorithms Correctness and Efficiency
  • G52CPP C++ Programming
  • G51PGP Programming Paradigms

In previous sessions I have taught:

  • G52ADS Algorithms and Data Structures
  • G64SWE Software Engineering
  • G52SEM Software Engineering Methodologies
  • G64IPD Introduction to Computer Programming and Development
  • G64INC: Introduction to Network Communications
  • G51PRG Introduction to Programming
  • G52CON: Concepts of Concurrency
  • G64OOS: Object Oriented Systems
  • G64ADS: Advanced Data Structure
  • G52CON: Concepts of Concurrency
  • 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 and LEONARD BAROLLI, eds., Nature of Computation and Communication 168. Springer International Publishing. 153-164
  • IJAZ UDDIN, ABDUR RAKIB and HAFIZ MAHFOOZ UL HAQUE, 2016. A Framework for Implementing Formally Verified Resource-bounded Smart Space Systems Journal of Mobile Networks and Applications@Springer. (In Press.)
  • HAFIZ MAHFOOZ UL HAQUE, ABDUR RAKIB and IJAZ UDDIN, 2016. Modelling and Reasoning about Context-Aware Agents over Heterogeneous Knowledge Sources In: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA'16), Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST)@Springer. (In 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

For all enquires please visit:
www.nottingham.ac.uk/enquire