Maartena van Emdena

Maarten van Emden
Van Emden w Victorii w Kolumbii Brytyjskiej w 2008 roku
Urodzić się	Maartena Hermana van Emdena ( 1937-12-31 ) 31 grudnia 1937 Velp, Holandia
Zmarł	4 stycznia 2023 ( w wieku 85) ( 04.01.2023 ) Wiktoria, Kolumbia Brytyjska , Kanada
Obywatelstwo	Holandia Kanada
Alma Mater	Uniwersytet w Amsterdamie
Znany z	Programowanie logiki Prolog Sztuczna inteligencja
Kariera naukowa
Pola	Informatyka Logika
Instytucje	Uniwersytet Wiktorii Uniwersytet Waterloo
Praca dyplomowa	Analiza złożoności (1971)
Doradca doktorski	Adriana van Wijngaardena

Maarten Herman van Emden (31 grudnia 1937 - 4 stycznia 2023) był holendersko-kanadyjskim matematykiem i informatykiem, którego badania nad podstawami programowania logicznego i programowania w logice z ograniczeniami wywarły duży wpływ.

Wczesne lata

Van Emden urodził się w Velp w Holandii, a wczesne dzieciństwo spędził głównie w Holenderskich Indiach Wschodnich. Służbę wojskową odbył w latach 1959-1960, służąc jako pilot i podoficer. Uczęszczał do krajowej szkoły lotniczej i pracował dla KLM jako pilot od 1960 do 1963.

Edukacja

Van Emden uzyskał tytuł magistra na Politechnice w Delft w 1966 r. oraz doktorat z informatyki na Uniwersytecie w Amsterdamie w 1971 r. Jego rozprawa zatytułowana „Analiza złożoności” dotyczyła teorii informacji i analizy danych. Jego promotorem był Adriaan van Wijngaarden , który nadzorował także innego wybitnego holenderskiego informatyka Edsgera W. Dijkstrę .

Kariera

Van Emden spędził lata 1971-1972 na stażu podoktorskim w IBM Thomas J. Watson Research Center, a następnie dołączył do grupy Machine Intelligence na Uniwersytecie w Edynburgu jako pracownik naukowy pod kierunkiem Donalda Michiego . W 1975 wyemigrował do Kanady, aby dołączyć do wydziału na Uniwersytecie Waterloo . W 1987 r. przeniósł się na University of Victoria. Jego wizytujące stanowiska obejmują University of Edinburgh w 1980 r., Imperial College (Wielka Brytania) w latach 1982–1983 i NWO (Holandia) w latach 2000–2001.

We współpracy z Robertem Kowalskim van Emden opracował semantykę punktów stałych klauzul Horna, które stanowią podstawę logicznej semantyki programowania logicznego. Prowadził dalsze badania nad weryfikacją i poprawnością oprogramowania oraz spełnianiem ograniczeń, a także arytmetyką przedziałów i propagacją przedziałów. Napisał program Prolog zawierający porady dla niektórych szachowych końcówek.

W latach 2008-2016 van Emden napisał zbiór esejów na temat praktyki programowania oraz historii i filozofii informatyki na blogu zatytułowanym A Programmer's Place.