My paper on “Counterfactual Resimulation for Causal Analysis of Rule-Based Models” has been accepted at IJCAI 2018.
I will be an invited speaker at the 7th Workshop on Logic and Systems Biology (Oxford, July 13th), where I will talk about my recent work on counterfactual resimulation.
I am actively developing and maintaining the following programs:
- The Kappa Trace Query Language: a domain-specific language for analyzing Kappa simulation traces.
- The Kappa Counterfactual Resimulator: a library to sample counterfactual traces in Kappa.
- KaFlow: a program to generate causal summaries of Kappa traces.
- Asciimath compiler: a compiler from a variant of asciimath to LaTex, written in Haskell.