Professional page of Simon Cruanes

NOTE: this page is old, see my personal page, which is more up-to-date.

I was a PhD student in the field of first-order automated deduction at Deducteam (INRIA) under the supervision of Gilles Dowek and Guillaume Burel. The subject I was working on is automated theorem proving modulo arithmetic and induction, and in general automated reasoning in the context of theories. I defended my thesis in September 2015.


The following is all OCaml:


My page about teaching (fr).

PhD Documents