Тьерри Кокванд - Thierry Coquand
Тьерри Кокванд (Французский:[kɔkɑ̃]; родился 18 апреля 1961 года в Жалльё, Изер, Франция) - профессор Информатика на Гетеборгский университет, Швеция. Он известен своей работой в конструктивная математика, особенно расчет конструкций. Он получил докторскую степень. под присмотром Жерар Юэ.
Смотрите также
внешняя ссылка
- Академическая домашняя страница
- Тьерри Кокванд в DBLP Сервер библиографии
P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |
Эта статья о французском математике заглушка. Вы можете помочь Википедии расширяя это. |