Research Projects

Jan 2001 to Jan 2004

Proof Methods for Multi-Agent Systems, collaborative research project with the University of Liverpool funded by the EPSRC.
Principal investigator.

2001 to 2005

Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274.
Consulted expert and active participant.

Aug 1999 to Aug 2002

Path-Based Reasoning for Guarded Formulae, PhD Project funded by the EPSRC.
Principal investigator.

1998 to 1999

Verification and Animation of Agent Theories, UK-Dutch Joint Scientific Resesearch Project with Wiebe van der Hoek, Department of Computer Science, Utrecht University, funded by a British Council/NWO research grant.
Principal investigator.

1995 to 1997

Transformation of Logical Systems (TRALOS) funded by the Deutsche Forschungsgesellschaft.
Investigator.

1993 to 1995

Construction of Non-Classical Logics funded by the German-French PROCOPE Programme, Deutscher Akademischer Austauschdienst. Partners: Univ. Paul Sabatier and Inst. de Recherche CNRS.
Investigator.

1991 to 199?

Techniques for Inference in Communicating Systems (TICS), Project D2 of the SFB 314, funded by the Deutsche Forschungsgesellschaft. In cooperation with the Project Processing Arguments Between Controversially Minded Actors (Department of Computer Science, Saarbrücken).
Investigator.