Гарри Мейрсон
Гарри Мейрсон | |
|---|---|
| Альма-матер | Йельский университет Стэнфордский университет |
| Известный | вывод типа для языка программирования ML Вывод типа Хиндли-Милнера |
| Научная карьера | |
| Учреждения | Стэнфордский университет Бостонский университет Университет Брандейса |
| Диссертация | Программная сложность поиска по таблице (1983) |
| Докторантура | Джеффри Уллман |
| Веб-сайт | https://www.cs.brandeis.edu/~mairson/ |
Гарри Джордж Майрсон — учёный-теоретик в области информатики и профессор информатики в Национальном центре сложных систем Волена при Университете Брандейса в Уолтеме, штат Массачусетс . Его исследования находятся в области логики в информатике , лямбда-исчислении и функциональном программировании , теории типов и конструктивной математике , теории сложности вычислений и алгоритмике . [1]
Его доктор философии. диссертация «Сложность программы поиска в таблице » получила премию Махти на симпозиуме IEEE по основам компьютерных наук (FOCS) в 1983 году. [2] Майрсон был постдокторантом в INRIA Rockencourt с 1984 по 1985 год, в Стэнфордском университете в 1985 году и в Оксфордском университете в 1986 году. [3] С 1999 по 2001 год он занимал должность приглашенного профессора в Бостонском университете . С 2005 по 2007 год Майрсон занимал должность председателя Сената факультета Брандейса. В настоящее время он является заместителем редактора журнала « Логические методы в информатике и информации и вычислениях » и входит в редакционную коллегию журнала « Высшие порядки и символические вычисления» . [1]
Вклад Майрсона в теорию языков программирования включает доказательство того, что вывод типа для языка программирования ML , так называемый вывод типа Хиндли-Милнера , является полным за экспоненциальное время и что параллельная бета-редукция не является элементарной .
Образование
[ редактировать ]Майрсон получил степень бакалавра математики в Йельском университете в 1978 году и степень доктора философии. Получил степень бакалавра компьютерных наук в Стэнфордском университете в 1984 году под руководством Джеффри Уллмана .
Внешние ссылки
[ редактировать ]- Гарри Мейрсон в Университете Брандейса
- Руководство факультета Университета Брандейса: Гарри Мейрсон
- DBLP: Гарри Дж. Мейрсон
- Проект математической генеалогии - Гарри Мейрсон
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Вестник Университета Брандейса, 2006–2007 гг.» (PDF) . Архивировано из оригинала (PDF) 6 февраля 2007 г. Проверено 9 марта 2007 г.
- ^ Премия FOCS за лучшую студенческую работу (Премия Махти)
- ^ Предложение Национального научного фонда 0702312.
