Es conocido por su trabajo en matemáticas constructivas, especialmente el cálculo de construcciones.
bajo la supervisión de Gérard Huet, otro académico con experiencia tanto en matemáticas como en informática.
[2] Coquand y Huet publicaron otro artículo conjunto en septiembre de ese año que amplió aún más sus ideas sobre las matemáticas constructivas.
[4] Desde entonces, Coquand ha escrito una amplia variedad de artículos tanto en francés como en inglés.
[6][7] Coq se ha utilizado para proporcionar soluciones novedosas para problemas matemáticos, especialmente para aquellos que tienen una prueba no comprobable, como el teorema de los cuatro colores.