Home

Publications

Github

Teaching (old)

Dr Stéphane Graham-Lengrand

Technical Director at SRI International
Computer Science Laboratory
Formal Methods group

SRI International
333, Ravenswood Avenue
Menlo Park, California 94025, USA

Office: EL272
e-mail

Logic, Interactive Theorem Proving, Automated Reasoning, Functional Programming

Interests:
  • SMT-solving (e.g. conflict-driven satisfiability)
  • Type systems, type theory, models of proofs and programs (e.g. realisability)
  • Combination of logic-based AI and machine learning (e.g. verification of neural nets, learning for proof-search guidance)
  • Correct-by-construction software, formal specifications within software development
My page at The Mathematics Genealogy Project