NTHRYS › PhD Assistance › Mathematical Biology

Mathematical Biology

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic and Synthetic Gene Circuits

Formal methods and temporal logics for designing and verifying cellular programs implementing complex biological computations.