Home

Publications

Teaching

Github

The Ψ project

Dr Stéphane Graham-Lengrand

Researcher at CNRS
Lecturing Professor at École Polytechnique

Computer Science Laboratory
Alan Turing building
École Polytechnique
91120 Palaiseau, FRANCE

Access

Office:
Telephone:
2066
+33 (0)1 77 57 80 67
Graham-Lengrand at LIX.Polytechnique.fr

Logic, Interactive Theorem Proving, Automated Reasoning, Functional Programming

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