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.
Formal methods in systems biology
Modelling and analysis of gene regulatory networks
Attractor detection of Boolean networks
Parameter estimation of probabilistic Boolean networks