As of September 2006, I am working as a postdoc in the Programming and Software Engineering group at Ludwig-Maximilians-University on the SENSORIA project. The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for Service-Oriented Overlay Computers, integrating foundational theories, techniques, and methods and pragmatic software engineering.
From September 2002 until August 2006 I did a PhD in the Intelligent Systems group at Utrecht University, The Netherlands under supervision of J-J.Ch.Meyer, Frank de Boer, and Mehdi Dastani. The title of my thesis is Cognitive Agent Programming: A Semantic Approach. Cognitive agent programming languages and frameworks aim at programming agents using cognitive notions such as beliefs, goals, plans, intentions, obligations, etc. My thesis describes research regarding formal aspects of cognitive agent programming languages, with a focus on formal semantics. Much of the work is related in one way or another to the cognitive agent programming language 3APL. Please send me an e-mail if you would like to receive a hard copy of the thesis.

My research interests include, but are not limited to the following:

• semantics of cognitive agent programming languages
• goals in cognitive agent programming
• specification and verification for cognitive agent programming languages
• languages for service-oriented computing
• relation between agents and services