Imandra
Simon is an R&D engineer with an engineering degree from École polytechnique in France, a masters degree from EPFL, and a PhD in automatic theorem proving. He's worked on first-order and higher-order proving and model finding, with a focus on implementation, having written several tools in various domains of formal logic. He also is an active contributor to the OCaml community.
This person is not in any teams
This person is not in any offices
Imandra
2 followers
Imandra is a cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.