Hiroshi ISHIKAWA
Takashi ICHINOMIYA
Kimihito ITO
Motoko KAWAKITA
Hiroyuki KITAHATA
Asaki SAITO
Takahiro SAKAUE
Takashi TAMURA
Jun-nosuke TERAMAE
Masahiro HAMANO
Tsuyoshi MIZUGUCHI
Noriko MIZOGUCHI
Masahiro HAMANO
JST Presto Researcher
Research Theme
Computational Structures in Biology from New Paradigms in Computer Science LogicThis research aims to elucidate computational structures in biological interactions by employing the most recent paradigms in computer science logic. By representing gene regulatory mechanisms (such as RNA-interference) as computational structures using π-calculus and differential λ-calculus, etc, we will be able to extract the computational meaning of biological control mechanisms. The computational interpretations will also characterize the dynamics of biological feedback. This interdisciplinary approach to combining biology and logic aims to realize new computational models arising from natural phenomena.