coquand_Thierry_Coquand

Thierry Coquand

  • Full Professor, Computing Science, Computer Science and Engineering