Stéphane Graham-Lengrand
Scholar

Stéphane Graham-Lengrand

Google Scholar ID: AD7Bmp8AAAAJ
SRI International
LogicAutomated ReasoningType systemsInteractive Theorem ProvingFunctional Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
381
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
0
 
Contact
Emailhttps://skylerhallinan.com/email.phpGitHubOpen ↗
Publications
1 items
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
2025
Cited
0
Resume
Background
  • Research interests include Logic, Interactive Theorem Proving, Automated Reasoning, and Functional Programming
  • Focus on SMT-solving (e.g., conflict-driven satisfiability)
  • Studies type systems, type theory, and models of proofs and programs (e.g., realisability)
  • Explores the combination of logic-based AI and machine learning (e.g., verification of neural nets, learning for proof-search guidance)
  • Dedicated to correct-by-construction software and formal specifications in software development