Войти
Гарри Джордж Май rson - теоретик в области информатики и профессор информатики в Национальном центре сложных систем Волена в университете Брандейса в Уолтем, Массачусетс.. Его исследования находятся в областях логики в информатике, лямбда-исчисления и функционального программирования, теории типов и конструктивной математики., теория сложности вычислений и алгоритмика.
Майерсон получил степень бакалавра. в математике от Йельского университета в 1978 году и степень доктора философии. в компьютерных науках из Стэнфордского университета в 1984 году под руководством Джеффри Уллмана. Его доктор философии. Диссертация «Программная сложность поиска в таблице» выиграла Премию Махти на симпозиуме IEEE по основам информатики (FOCS) 1983 года. Майерсон работал докторантом в INRIA Rocqencourt с 1984 по 1985 год, в Стэнфордском университете в 1985 году и в Оксфордском университете в 1986 году. Должность профессора с 1999 по 2001 год в Бостонском университете. С 2005 по 2007 год Майерсон был председателем сената факультета Брандейса. В настоящее время он является младшим редактором журнала Логические методы в компьютерных науках и Информация и вычисления, а также входит в редакционную коллегию журнала Высшие и символические вычисления.
. Вклад Майерсона в теорию языков программирования включает доказательство того, что вывод типа для языка программирования ML, так называемый вывод типа Хиндли-Милнера, завершено для экспоненциального времени и параллельное бета-уменьшение является неэлементарным.
