# Jonathan Laurent

I am a second-year PhD student at Carnegie Mellon University and a former student of the École Normale Supérieure (Paris). My research interests lie in the intersection of program analysis, causal inference and probabilistic modeling. Recently, I have been developing techniques to uncover the causal structure of simulation trajectories generated from rule-based models of complex biochemical systems, in collaboration with Harvard Medical School. I am also passionate about teaching and programming in OCaml.

 Email address: jonathan.laurent@cs.cmu.edu Office number: GHC 6029

## News

My paper on “A Trace-Query Language for Kappa” has been accepted at CMSB 2018.

June 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.

March 2018

## Featured Publications

Counterfactual Resimulation for Causal Analysis of Rule-Based Models
Jonathan Laurent, Jean Yang, Walter Fontana
IJCAI 2018
A Trace Query Language for Kappa
Jonathan Laurent, Hector Medina Abarca, Pierre Boutillier, Jean Yang, Walter Fontana
CMSB 2018

A complete list of publications can be found here.

## Software

I am actively developing and maintaining the following programs:

I also developed the “Copilot Theorem” package, which enables fully-automated verification of safety properties of real-time embedded programs written in the Copilot language.