His research interests include programming languages, software engineering, and logic. In the last nine years he has been applying these interests in the context of intelligent software agents.