logo
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 partially 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.

Teaching Summary

In 2012/13 session I am teaching the following modules:

Autumn Semester

  • G64ADS: Advanced Data Structure
  • G64INC: Introduction to Network Communications (50%)

Spring semester

  • G52CON: Concepts of Concurrency
  • G64OOS: Object Oriented Systems

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

  • ABDUR RAKIB and HAFIZ MAHFOOZ UL HAQUE, 2014. A Logical Framework for the Representation and Verification of Context-aware Agents Springer Journal of Mobile Networks and Applications. Volume 19(5), 585-597
  • ABDUR RAKIB and HAFIZ MAHFOOZ UL HAQUE, 2014. A logic for context-aware non-monotonic reasoning agents. In: A. GELBUKH ET AL., ed., Advances in Artificial Intelligence LNAI Volume 8856. Springer International Publishing Switzerland. 453-471 (In Press.)
  • ABBA LAWAN, ABDUR RAKIB, NATASHA ALECHINA and ASHA KARUNARATNE, 2014. Advancing Underutilized Crops Knowledge using SWRL-enabled Ontologies - A survey and early experiment In: CEUR Workshop Proceedings of The Second International Workshop on Linked Data and Ontology in Practice. (In Press.)
  • ABDUR RAKIB, ABBA LAWAN and SUE WALKER, 2014. An ontological approach for knowledge modelling and reasoning over heterogeneous crop data sources In: proceedings of the 4th WICT Data Quality and Big Data Management Symposium, Springer Series of Advances in Intelligent Systems and Computing. (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.

  • ABDUR RAKIB and HAFIZ MAHFOOZ UL HAQUE, 2014. A Logical Framework for the Representation and Verification of Context-aware Agents Springer Journal of Mobile Networks and Applications. Volume 19(5), 585-597
  • ABDUR RAKIB and HAFIZ MAHFOOZ UL HAQUE, 2014. A logic for context-aware non-monotonic reasoning agents. In: A. GELBUKH ET AL., ed., Advances in Artificial Intelligence LNAI Volume 8856. Springer International Publishing Switzerland. 453-471 (In Press.)
  • ABBA LAWAN, ABDUR RAKIB, NATASHA ALECHINA and ASHA KARUNARATNE, 2014. Advancing Underutilized Crops Knowledge using SWRL-enabled Ontologies - A survey and early experiment In: CEUR Workshop Proceedings of The Second International Workshop on Linked Data and Ontology in Practice. (In Press.)
  • ABDUR RAKIB, ABBA LAWAN and SUE WALKER, 2014. An ontological approach for knowledge modelling and reasoning over heterogeneous crop data sources In: proceedings of the 4th WICT Data Quality and Big Data Management Symposium, Springer Series of Advances in Intelligent Systems and Computing. (In Press.)
  • OMID IZADI and ABDUR RAKIB, 2013. Improving the Efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases In: Proceedings of the 3rd International Conference on Research and Innovation in Information Systems (ICRIIS'13), @IEEE Xplore. 527- 532
  • ABDUR RAKIB, HAFIZ MAHFOOZ UL HAQUE and ROKAN UDDIN FARUQUI, 2013. A temporal description logic for resource-bounded rule-based context-aware agents. In: P.C. VINH ET AL. (EDS.), ed., Context-Aware Systems and Applications LNICST Volume 128. Springer International Publishing Switzerland. 3-14
  • ABDUR RAKIB, ROKAN UDDIN FARUQUI and WENDY MACCAULL, 2012. Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. In: T. LUKASIEWICZ AND A. SALI, ed., Foundations of Information and Knowledge Systems LNCS Volume 7153. Springer-Verlag Berlin Heidelberg. 313-332
  • ABDUR RAKIB, 2012. Formal Approaches to Modelling and Verifying Resource-bounded Agents—state of the Art and Future Prospects Journal of Information Technology&Software Engineering. 2(4),
  • ABDUR RAKIB and ROKAN UDDIN FARUQUI, 2012. A formal approach to modelling and verifying resource-bounded context-aware agents. In: PHAN CONG VINH ET AT., ed., Context-Aware Systems and Applications LNICST Volume 109. Springer Berlin Heidelberg. 86-96
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2011. Logic for coalitions with bounded resources Journal of Logic and Computation. 21(6), 907-937
  • ALECHINA, N., LOGAN, B., NGA, N.H. and RAKIB, A., 2010. Resource-bounded alternating-time temporal logic In: AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems. 1. 481-488
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2010. Automated verification of resource requirements in multi-agent systems using abstraction. In: RON VAN DER MEYDEN AND JAN-GEORG SMAUS, ed., Model Checking and Artificial Intelligence LNCS 6572. Springer-Verlag Berlin Heidelberg. 69-84
  • ALECHINA, N., LOGAN, B., NGUYEN, H.N. and RAKIB, A., 2009. Verifying time, memory and communication bounds in systems of reasoning agents Synthese. 169(2), 385-403
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Verifying Time and Communication Costs of Rule-Based Reasoners. In: D. PELED AND M. WOOLDRIDGE, ed., MODEL CHECKING AND ARTIFICIAL INTELLIGENCE LNCS 5348. Springer-Verlag Berlin Heidelberg. 1-14
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Verifying Properties of Coalitional Ability under Resource Bounds In: Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), Los Angeles CA, USA.
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Expressing Properties of Coalitional Ability under Resource Bounds. In: XIANGDONG HE, JOHN HORTY, AND ERIC PACUIT, ed., LOGIC, RATIONALITY, AND INTERACTION LNCS 5834. Springer-Verlag Berlin Heidelberg. 1-14
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verifying Resource Requirements for Distributed Rule-Based Systems. In: N. BASSILIADES, G. GOVERNATORI AND A. PASCHKE, ed., RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB LNCS 5321. Springer-Verlag Berlin Heidelberg. 31--38
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verifying time, memory and communication bounds in systems of reasoning agents In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), Padgham, Parkes, Muller and Parsons (eds.)@IFFAAMAS Press. 736-743
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verification of resource-bounded multi-agent systems In: Proceedings of the Automated Reasoning Workshop, Birmingham, UK. 30-31
  • NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2008. Verification of Resource Requirements of Distributed Reasoning Agents In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL'08), Budapest, Hungary.
  • ABDUR RAKIB, NGUYEN HOANG NGA, NATASHA ALECHINA and BRIAN LOGAN, 2008. Verification of resource requirements of distributed rule-based reasoners In: Proceedings of the 10th European Agent Systems Summer School, New University of Lisbon, Portugal. 39--45
  • ABDUR RAKIB, OLEG PARSHIN, STEPHAN THESING and REINHARD WILHELM, 2004. Component-Wise Instruction-Cache Behavior Prediction. In: F. WANG, ed., AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS LNCS 3299. Springer-Verlag Berlin Heidelberg. 211-229
  • ABDUR RAKIB, OLEG PARSHIN, STEPHAN THESING and REINHARD WILHELM, 2004. Component-Wise Instruction-Cache Behavior Prediction In: Proceedings of the 4th Intl Workshop On Worst-case Execution Time Analysis (WCET'04), Catania, Sicily, Italy. 27-30

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