I am professor of computer science at IRIT, the institute of informatics that is associated with the university. I worked also in pure math and history of sciences (in particular history of logic). I am also interested in philosophy.