Research related to synthetic biology:
Computational-based methodologies to support the design and construction of synthetic biological systems

Keywords and interests: Dynamic behaviour; model checking; signalling pathways; metabolic pathways; environment; sensors; health; biosecurity