Research Projects

• Inference-based Hypothesis-finding and its Application to Systems Biology.
  
• CSPSAT Project (in Japanese).
  
• Franco-Japanese Symposia (2007-2010).

Research Topics

• Inference and Knowledge Representation
  
• Hypothesis Finding based on Induction and Abduction
  
• Knowledge Discovery for Systems Biology
  
• Boolean Satisfiability and Constraint Programming