ISSN: 2165- 7866
School of Computer Science
The University of Nottingham Malaysia Campus, Malaysia
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.
His research output has centred on the broad areas of Artificial Intelligence, Multi-agent Systems, Game theory, Automated Reasoning and Formal Verification. More specifically, his research interests and activities are in the area of formal modelling 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. He is also interested in Semantic Web and agent technologies, and ontology-driven context-aware systems.