Qixia Yuan


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

Research interest

  • Formal methods in systems biology
  • Modelling and analysis of gene regulatory networks
  • Attractor detection of Boolean networks
  • Parameter estimation of probabilistic Boolean networks