Stephane Graham-Lengrand

Stephane Graham-Lengrand is Senior Lab Director at SRI International, where he leads research in automated reasoning, formal methods, and neuro-symbolic AI. His work combines constraint solving, test case generation, formal verification, and generative AI to build trustworthy systems, with applications to interoperability, structured data models, and systems-of-systems in safety-critical domains, including healthcare. He has led major programs for ARPA-H, DARPA, and the U.S. Air Force.