My research aims to enable transparent modelling and scalable analysis of systems with complex, self-organising dynamics. To this end, I broadly combine formal methods (especially model reduction, probabilistic model checking and parameter synthesis), mathematical modelling (especially stochastic systems and Bayesian inference). My works are often inspired by phenomena studied in systems & synthetic biology, collective behaviour.

See some of my works, ongoing projects and research profile on DBLP, GoogleScholar, ORCID.