I did my Ph.D. within the Security and Trust of Software Systems (SaToSS)
research group, led by Prof. Dr. Sjouke Mauw.
You can find me through the following email yuanqixia at gmail.com
Formal methods in systems biology
Modelling and analysis of gene regulatory networks
Attractor detection of Boolean networks
Parameter estimation of probabilistic Boolean networks