My background is in Computing Science and Artificial Intelligence. My research interest lies in the intersection of knowledge representation & reasoning (KRR) and software engineering, especifically in supporting software engineering through the use of logics and theorem proving.
My research over the years shifted from stand-alone (logic) programs, to distributed computing and sofware agents and autonomous agents. More recent work addresses normative aspects of distributed software, that is, how norms (such as "who bids must pay"; "only bidders with a letter of credit may bid", and so on) can help the design, implementation and evaluation of large ecosystems of autonomous and self-interested software agents.
I have worked closely with various segments of industry, government and third sector, in collaborative research and as a consultant. Exploring and solving real-life problems is very rewarding.