Brief Bio

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.

I worked with Dr. Hans Ditmarsch as an assistant research fellow in the area of knowledge games in the Department of Computer Science at University of Otago, Dunedin, New Zealand in 2003.

In 2004 I worked as a Research Fellow with Prof. John Llyod as part of the CRC project on Machine Learning for the Smart Personal Assistant at the Australian National University

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.

I moved to India in July 2007 to join University of Hyderabad as a Lecturer in the School of Computer and Information Sciences.