We are aiming to establish fundamental technologies of cooperative intelligent agents for social information systems. We are also conducting research on sociology and information theory for communication on networks.

1. Theory of Cooperative Programs
In order to construct highly-reliable agent systems, we are conducting research on cooperative distributed programming languages and the formal treatment of agents therein. In addition, we are exploring formal verification and automatic theorem proving of agent programs.

2. Cooperative Distributed Algorithms
We are conducting research on the behavior of agents under resource-limited situations, and decision-making by agents and coordination among agents in economic/game-theoretic approaches. Further, we are investigating on fault-tolerant and efficient distributed algorithms.

3. Sociology and information theory
We are studying sociology and information theory for communication on networks. For the former, we are aiming at analyze social structure on networks using sociology. For the latter, we are conducting research on coding theory.

1. Theory of Cooperative Programs

• Erdos: an internet agent system
• Nepi: a network programming language based on the pi-calculus
• term rewriting systems
• formal verifications and automated theorem proving

2. Cooperative Distributed Algorithms

• information economics
• distributed constraint satisfaction problem
• fault-tolerant and efficient distributed algorithms

3. Sociology and information theory

• social network analysis
• theory on non-linear codes

• Toshiharu Sugawara (Leader)
  
• Jun Imai 
  
• Tadashi Araragi 
  
• Shigeo Matsubara 
  
• Mitsunori Matsushita 
  
• Naomi Yamashita 
  
• Masafumi Matsuda