Research in the Agents Lab spans the specification, design and implementation of agent-based systems, including logics and theories for agents and the application of agents in simulations and virtual environments. Current projects focus on three main areas:

  • Logics for agents and verification of agent programs
  • Multi-agent and multi-agent based simulation
  • Applications of agents in games and virtual environments