I finished my Ph.D from the School of Information and Communication Technology, Griffith University , Australia in 2003 where I was part of the Knowledge Representation and Reasoning Unit (KRRU). My supervison was taken care by Prof. Abdul Sattar and Dr.Guido Governatori. My research is concerned with the specification of Agent Systems in the background of Modal and Temporal Logics. We give emphasis to a group of agent systems called the BDI (Belief, Desire, Intention), with special reference to the ones developed by Rao and Georgeff. The combination of the different logics involved in BDI systems and the interaction among them is the main focal area.
From 2005 March to 2007 July I worked as a Post-doctoral Research fellow in the School of Information Technology & Electrical Engineering (ITEE) under the supervision of Dr. Guido Governatori on an Australian Research Councill project.