Qixia Yuan

photo

I am a PhD student 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