Personal page of Simon Cruanes


Since october 2012, I am a PhD student in the field of first-order automated deduction at Deducteam (INRIA) under the supervision of Gilles Dowek and Guillaume Burel. The (current) subject I'm working on is automated reasoning modulo rewriting, and in general automated reasoning in the context of theories. I was formerly a student in École polytechnique, in France, then at EPFL, in Switzerland, where I got a master degree in Computer Science. My master thesis can be found there.

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