Harry'ego Mairsona

Harry'ego Mairsona
Alma Mater
Uniwersytet Yale Uniwersytet Stanforda
Znany z
wnioskowanie typu dla języka programowania ML wnioskowanie typu Hindley-Milner
Kariera naukowa
Instytucje

Uniwersytet Stanforda Uniwersytet Bostoński Brandeis University
Praca dyplomowa   Złożoność programu przeszukiwania tabeli (1983)
Doradca doktorski Jeffreya Ullmana
Strona internetowa https://www.cs.brandeis.edu/~mairson/

Harry George Mairson jest informatykiem-teoretykiem i profesorem informatyki w Volen National Center for Complex Systems na Brandeis University w Waltham, Massachusetts . Zajmuje się logiką w informatyce , rachunkiem lambda i programowaniem funkcyjnym , teorią typów i matematyką konstruktywną , teorią złożoności obliczeniowej i algorytmiką .

Jego doktorat praca magisterska The Program Complexity of Searching a Table zdobyła nagrodę Machtey Award na Sympozjum IEEE na temat podstaw informatyki (FOCS) w 1983 roku. Mairson był pracownikiem naukowym podoktoranckim w INRIA Rocqencourt od 1984 do 1985, na Uniwersytecie Stanforda w 1985 i na Uniwersytecie Oksfordzkim w 1986. W latach 1999-2001 zajmował stanowisko profesora wizytującego na Uniwersytecie Bostońskim . Od 2005 do 2007 Mairson pełnił funkcję przewodniczącego Senatu Wydziału w Brandeis. Obecnie jest zastępcą redaktora czasopisma Logical Methods in Computer Science and Information and Computation oraz zasiada w radzie redakcyjnej czasopisma Higher-Order and Symbolic Computation .

Wkład Mairsona w teorię języków programowania obejmuje udowodnienie, że wnioskowanie typu dla języka programowania ML , tak zwane wnioskowanie typu Hindleya-Milnera , jest kompletne dla czasu wykładniczego i że równoległa redukcja beta nie jest elementarna .

Edukacja

Mairson uzyskał tytuł licencjata z matematyki na Uniwersytecie Yale w 1978 roku oraz tytuł doktora. w dziedzinie informatyki na Uniwersytecie Stanforda w 1984 roku pod kierunkiem Jeffreya Ullmana .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Harry_Mairson&oldid=1096801339 ”