He worked at the University of Caen. He found one of the first applications of large cardinals to algebra. This was called the Dehornoy order, on the braid group. He was one of the main workers to the development of Garside methods in group theory.