時間論理を用いて遺伝子ネットワークの可能な振る舞いを定性的にモデル化し、ネットワークが与えられた生物学的性質を満たすかどうかを検証する枠組みを開発した。特に、生命システムを環境との相互作用を行うオープンシステムと見なし、種々の環境的変化にもシステムの性質が保持されるという生物学的恒常性を数学的に形式化し、その検証手法を与えた。また、一遺伝子一タンパク質の単純なモデルを、一遺伝子から複数のタンパク質が産生される選択的スプライシングの機構をモデル化し、解析する手法を考案した。実際の適用例として、ショウジョウバエの性決定ネットワークの振る舞いを解析することに成功した。
|