Thierry Coquand -Thierry Coquand

Coquand w 2006 roku

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