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`

This website is currently under construction.

Software

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 program and 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.

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.