Focus

My doctoral research focuses on the intersection of formal methods and stochastic systems: probabilistic model checking of Chemical Reaction Networks (CRNs) and related models. I specialize in the development of algorithms for verifying properties of Continuous-Time Markov Chains (CTMCs), which are the underlying mathematical models for CRNs. My work aims to make formal methods accessible and scalable for engineers and scientists working with stochastic systems.

Themes

• Rare-event reachability, including partial state-space construction and trace generation.
• Scalable algorithms and data structures for transient probability analysis.
• Synthetic biology applications, including genetic circuits and biochemical pathways.
• Accessible Tooling for stochastic verification.

Selected publications

See my CV publications for a full list.

Links

• Formal Methods Tools
• Stamina Toolset

More links coming soon.