Qixia Yuan


I am a research associate within the Security and Trust of Software Systems (SaToSS) research group. My current research is focused on development and application of formal methods in systems biology.

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