Home
Publications
Github
Teaching (old)
|
Dr Stéphane Graham-Lengrand
|
|
|
SRI International
333, Ravenswood Avenue
Menlo Park, California 94025, USA
|
|
|
|
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
|
|