研究テーマ

概念図(pdf)  COEプロジェクト：電子社会のためのワークフローのモデル化と検証  ハイブリッドダイナミカルシステムの検証理論  エージェントコーディネーションのための形式的モデル  遺伝子相互作用のモデル化と解析  離散事象システムのモデル化と解析