Masahiro HAMANO

JST Presto Researcher

Research Theme

Computational Structures in Biology from New Paradigms in Computer Science Logic

This 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.