Collaborative research to develop predictive logical models of biological systems from the molecular to the community level

Theoretical methods for the analysis, inference, and targeted modification of bio-molecular networks

Functional genomic data analysis and logical modelling of cellular signaling/regulatory networks involved in cell fate decisions

Apply Systems Biology approaches to biological networks involved in cancer

The two groups pursue research in mathematical systems biology, particularly focusing on logical modeling of regulatory and constraint-based modeling of metabolic networks.

Logical modeling-based drug therapy predictions

Formal methods and tools for the verification, control, and synthesis of Boolean networks

Dynamics of biological networks under diseases conditions; development of crowd-sourcing modeling approaches; computational modeling as a method to teach about biological systems.

Analysis of bacterial regulatory networks using a systems biology approach