coquand_Thierry_Coquand

Thierry Coquand

  • Professor, Computing Science, Data- och informationsteknik