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 […]