Jonathan Laurent

Jonathan Laurent is a computer scientist and researcher associated with Carnegie Mellon University, where he has worked on topics including LLM orchestration, programming languages, automated theorem proving, safe controller synthesis, and causal analysis of biological systems. His academic background includes studies in computer science and machine learning, and his work has focused on developing techniques for understanding complex simulation trajectories and formal reasoning systems.