Olivier Savary Belanger

Research & Engineering

I am interested in ways of gaining assurance in the correctness of programs through language abstractions and safe compilation techniques.


Olivier joined Galois in 2019 after receiving his PhD in Computer Science from Princeton University. His academic work focused on verified compilation and extraction of dependently-typed languages as part of the CertiCoq project. Before that, he earned an MSc from McGill University for his work on type-preserving compilation.