Thierry Coquand -Thierry Coquand
Thierry Coquand ( francuski: [kɔkɑ̃] ; urodzony 18 kwietnia 1961 w Bourgoin-Jallieu ) to francuski informatyk i matematyk, który obecnie jest profesorem informatyki na Uniwersytecie w Göteborgu , wcześniej pracował w INRIA . Znany jest ze swojej pracy w matematyce konstruktywnej , zwłaszcza w rachunku różniczkowym konstrukcji .
Uzyskał tytuł doktora. pod kierunkiem Gérarda Hueta , innego naukowca, który ma doświadczenie zarówno w matematyce, jak i informatyce. Według Biblioteki Cyfrowej ACM , jego pierwszym opublikowanym artykułem była współpraca z Huetem z 1985 roku, zatytułowana „Constructions: A Higher Order Proof System for Mechanizing Mathematics”. Coquand i Huet opublikowali kolejny wspólny artykuł we wrześniu tego roku, który dodatkowo rozwinął ich pomysły dotyczące konstruktywnej matematyki. W następnym roku, 1986, Coquand opublikował godną uwagi pracę na temat paradoksu Girarda w systemie logicznym System U. Od tego czasu Coquand napisał wiele różnych artykułów w języku francuskim i angielskim.
Oprócz swojego wkładu w informatykę teoretyczną, Coquand jest również znany jako współtwórca asystenta dowodowego Coq (imię częściowo nawiązuje do nazwiska Coquand), którego rozwój rozpoczął w 1984 roku podczas pracy w INRIA (a francuski narodowy instytut badawczy informatyki i matematyki), który został oficjalnie wydany w 1989 r. Coq zdobył nagrodę ACM SIGPLAN Programming Languages Software Award w 2013 r. za „zapewnienie bogatego środowiska do interaktywnego rozwoju formalnego rozumowania sprawdzanego maszynowo” . Coq był używany do dostarczania nowych rozwiązań problemów matematycznych, zwłaszcza tych, które mają dowód niemożliwy do zweryfikowania , takich jak twierdzenie o czterech kolorach . Był również używany w tworzeniu oprogramowania, na przykład w kompilatorze CompCert C.
Coquand często wygłasza wykłady na tematy, w których się specjalizuje, na przykład opisuje pracę profesora Thorstena Altenkircha z University of Nottingham .
Zobacz też
Bibliografia
Linki zewnętrzne
- Akademicka strona główna
- Thierry Coquand na serwerze bibliograficznym DBLP