並列自律分散システムの理論から応用まで幅広く研究しています。人間社会の活動やロボットの協調行動、 生命現象などは並列自律分散システムと捉えることができます。そのようなシステムの特徴はダイナミックに進化していくことです。 ネット理論を基盤に、モデル検査法やプロセス代数、スーパーバイザー制御、プロセスマイニングなどの理論を組み合わせた 新しい理論体系の構築に取り組んでいます。さらに、それらをクラウドシステム上に実装し、進化可能なシステムの実現にも取り組んでいます。 これまでに、ビジネスプロセスをネットワークとしてモデル化し、その進化を支援するシステム（写真上部）、 安心・安全・快適なエレベータシステムの開発を支援するシステムÉclair（写真下部）、生体内のシグナル伝達経路を解析するシステムなどを 開発しています。

ビジネスプロセスをネットワークとしてモデル化し、その進化を支援するシステム、安心・安全・快適なエレベータシステムの開発を支援するシステム

未来のスマート社会を創造する基盤となるInternet of Things（IoT）あるいはモノとモノのインターネット、 ソフトウェアシステム、組込みシステム、クラウドシステムとサイバーセキュリティに注目しています。IoTの環境では様々なデバイス、 センサーとアクチュエーターがつながる大規模でオープンなシステムが存在します。サービスの要求やシステムの仕様が常に変わってくるので、 迅速なサービスの展開が求められます。サービスを設計し、いつでも、どこでも展開可能なシステムの枠組みを開発しています。 本研究室では、数理的手法によるサービスのモデル化、解析法とサービスのプログラミングを考案します。 また、現場で役立つソフトウェアツールの開発とIoT環境の実装にも取り組んでいます。

IoTの環境での設計、制御、監視とフィードバックの段階を持つシステムの枠組みを目標にしています。また、ビジュアル的なサービスプログラミングを可能にします。