Гарри Майерсон - Harry Mairson

Гарри Джордж Майерсон ученый-теоретик и профессор Информатика в Национальный центр сложных систем Волен в Университет Брандейса в Уолтем, Массачусетс. Его исследования находятся в области логика в информатике, лямбда-исчисление и функциональное программирование, теория типов и конструктивная математика, теория сложности вычислений, и алгоритмика.[1]

Майерсон получил степень бакалавра искусств. в Математика из Йельский университет в 1978 г. и доктор философии. в Информатика из Стэндфордский Университет в 1984 г. под руководством Джеффри Уллман. Его докторская степень. Тезис, Программная сложность поиска по таблице, выиграл Премия Мачтей на IEEE 1983 г. Симпозиум по основам информатики (FOCS).[2] Майерсон был докторантом в INRIA Рокенкур с 1984 по 1985 год, в Стэндфордский Университет в 1985 г., а на Оксфордский университет в 1986 г.[3] С 1999 по 2001 год он занимал должность приглашенного профессора в Бостонский университет. С 2005 по 2007 год Майерсон был председателем сената факультета Брандейса. В настоящее время он является младшим редактором журнала. Логические методы в информатике и Информация и вычисления, и входит в редколлегию Вычисление высшего порядка и символическое вычисление.[1]

Вклад Майерсона в теорию языки программирования включать доказательство того, что вывод типа для Язык программирования ML, так называемый Вывод типа Хиндли-Милнера, завершено для экспоненциальное время и эта параллель бета-уменьшение является неэлементарный.

внешняя ссылка

Рекомендации

  1. ^ а б "Вестник Университета Брандейса за 2006-2007 гг." (PDF). Архивировано из оригинал (PDF) на 2007-02-06. Получено 2007-03-09.
  2. ^ Премия FOCS за лучшую студенческую работу (Премия Мачти)
  3. ^ Предложение Национального научного фонда 0702312