# 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:

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.