遺伝子ネットワークは遺伝子間の活性・抑制関係を表したネットワークである。従来的なアプローチでは微分方程式によるモデル化と数値シミュレーションによる解析を行うが、生体内パラメータが不明なことが多く、適用可能性に限界がある。 本研究では、遺伝子ネットワークをリアクティブシステム（環境と相互作用しながら適切に応答するシステム）とみなし、その振る舞いを定性的に線形時相論理により記述し、特定の遺伝子が定常的に発現しうるか、振動するか、などの性質やある機能が生物学的恒常性を持つか、といったことを解析する手法について研究している。

プロセスマイニングは、ビジネスプロセスの（SAPなどのERPから得られる）実行記録（イベントログ）から、ビジネスプロセスのワークフローや人員間の関係性など、プロセス改善に役立つ情報をデータ科学的手法で発見する手法である。 本研究では、ビジネスプロセスからイベントログをどのように抽出するか、またビジネスプロセスの形式モデル（数学的に実行可能なモデルのこと）をどのように発見するか、またビジネスプロセスが望ましい性質を満たすことをどのように検証するか、といった課題に取り組んでいる。