Abdur Rakib

Contact

• workRoom BB65 Faculty of Science
  Malaysia Campus
  Jalan Broga
  43500 Semenyih
  Selangor Darul Ehsan
  Malaysia
• work+6 (03) 8924 8137
• Abdur.Rakib@nottingham.edu.my
• http://baggins.nottingham.edu.my/~kefzabr/

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 this session I am teaching the following modules (both in the Spring semester):

Concepts of Concurrency

Foundations of Artificial Intelligence (team teaching)

Research Summary

My research focuses on practical tools for modeling, verifying and analyzing resource requirements for multi-agent systems. The resources we consider with respect to reasoning agents are time,… read more

Recent Publications

• 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 7153. Springer-Verlag Berlin Heidelberg. 313-332
• NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2011. Logic for coalitions with bounded resources Journal of Logic and Computation, Oxford University Press. 21(6), 907-937
• 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
• NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2010. Resource-bounded alternating-time temporal logic In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS'10), Michael Luck and Sandip Sen (eds.)@IFFAAMAS Press. 481-488

• View all publications

Current Research

My research focuses on practical tools for modeling, verifying and analyzing resource requirements for multi-agent systems. The resources we consider with respect to reasoning agents are time, memory, and communication bandwidth required by the agents to achieve a goal. I am currently working on formal modeling and verification (using model-checking) of ontology-driven distributed context-aware systems, and their applications to social complex systems such as, for example, health-care systems.

• 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 7153. Springer-Verlag Berlin Heidelberg. 313-332
• NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2011. Logic for coalitions with bounded resources Journal of Logic and Computation, Oxford University Press. 21(6), 907-937
• 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
• NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2010. Resource-bounded alternating-time temporal logic In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS'10), Michael Luck and Sandip Sen (eds.)@IFFAAMAS Press. 481-488
• NATASHA ALECHINA, BRIAN LOGAN, NGUYEN HOANG NGA and ABDUR RAKIB, 2009. Verifying time, memory and communication bounds in systems of reasoning agents Synthese@Springer-Verlag, Knowledge, Rationality & Action. "Logics of Intelligent Interaction". 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. A Logic for Coalitions with Bounded Resources In: Proceedings of the 21st international jont conference on Artifical intelligence (IJCAI'09), Craig Boutilier (edt.) @AAAI Press. 659-664
• 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