Personal page of Simon Cruanes


I now work at Inria Nancy with Jasmin Blanchette on a counter-example finder for higher order logic, nunchaku.

Before that, from October 2012 to September 2015, 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. My thesis is titled "Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond" and can be found below. I was formerly a student in École polytechnique, in France, then at EPFL, in Switzerland, where I got a master degree in Computer Science.

I am interested by artificial intelligence, logic, programming languages; classical music and opéra, science-fiction and more generally by reading.

I have been a member of the Binet Réseau, an association in charge of the students' network in École polytechnique.

Computer science

Publications and documents



GNU/Linux and free software

I am using several GNU/Linux distributions, currently debian and archlinux. See this page.

Also check my github page.


Take a look at my free software documentation.

Interesting links


Support Wikipedia

This page uses markdown, and GNU Make.

back to home

glider image