GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Olivier Savary Belanger
Research Engineer
Background
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.
WORK AREAS
No areas found
