Explore projects

A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".

Online appendices to my PhD thesis manuscript.

My PhD thesis

Code for inferring initiation and development of Myeloproliferative Neoplasms.

A package for simulation, verification and parameter estimation of Chemical Reaction Networks.

Verification of the base model from Mosca et al. using a synthetic dataset

Framework for Bayesian Inference.