АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыМатериалы БРЭСпецпроектыСтать автором
Настроить видСменить языкИнформация
О РУВИКИ
Ответ на вопрос

Мейер, Альберт Р.

Pause

Альберт Рональд да Силва Мейер (англ. Albert Ronald da Silva Meyer; род. ноябрь 1941) — американский математик и информатик, почётный профессор компьютерных наук Массачусетского технологического института (Hitachi America Professor of Computer Science, Emeritus). Наиболее известен как один из основателей современной теории сложности вычислений, соавтор понятия полиномиальной иерархии и автор фундаментальных результатов о вычислительной сложности логических теорий.

Общие сведения
Что важно знать
Альберт Рональд да Силва Мейер
англ. Albert Ronald da Silva Meyer
Дата рождения 1941(1941)
Страна
Научная сфера теоретическая информатика, теория сложности вычислений, теория типов
Место работы Массачусетский технологический институт
Образование
Учёная степень доктор философии (1972)
Научный руководитель Патрик Фишер[d]
Известен как соавтор полиномиальной иерархии, главный редактор Information and Computation
Награды и премии
Сайт people.csail.mit.edu/… (англ.)

Биография

Альберт Мейер родился в 1941 году. Во время учёбы в Гарвардском университете увлёкся прикладной математикой и теорией вычислений. В 1972 году защитил докторскую диссертацию под руководством Патрика Фишера (Patrick C. Fischer), одновременно с другим известным учеником Фишера — Деннисом Ритчи[1].

Ещё до получения степени доктора философии, в 1969 году, Мейер присоединился к факультету Массачусетского технологического института (MIT), войдя в состав кафедры электротехники и компьютерных наук[2]. В 1991 году ему было присвоено именное звание Hitachi America Professor of Computer Science and Engineering[3].

С 1982 по 2020 год Мейер являлся главным редактором авторитетного международного журнала Information and Computation[2].

1 января 2019 года Мейер перешёл на должность профессора эмерита, но продолжал активно участвовать в жизни MIT[2].

Женат на Айрин Грейф — пионере в области взаимодействия человек и компьютер, первой женщине, получившей степень доктора философии по компьютерным наукам в MIT[3].

Научная деятельность

Теория сложности

В 1972 году, совместно со своим аспирантом Ларри Стокмейером, Мейер опубликовал работу, ставшую одним из краеугольных камней теории сложности вычислений. Они доказали, что проблема эквивалентности регулярных выражений с оператором возведения в квадрат требует экспоненциального пространства для решения — один из первых фундаментальных результатов о неразрешимости в сложности[3].

В том же 1972 году Мейер и Стокмейер ввели полиномиальную иерархию — структуру классов сложности, обобщающую центральный вопрос P = NP на бесконечную иерархию классов, определяемых через чередование кванторов. Полиномиальная иерархия стала стандартным инструментом классификации вычислительных задач и остаётся одним из ключевых понятий теоретической информатики[3].

В 1970-е годы Мейер исследовал разрешимость и сложность логических теорий, включая арифметику Пресбургера и теорию вещественного сложения. Эти работы заложили мост между математической логикой и информатикой, предоставив инструменты для анализа сложности автоматического доказательства[3].

Семантика языков программирования и логика

Помимо теории сложности, Мейер внёс значительный вклад в семантику языков программирования и теорию типов. Он стремился применить строгую математическую методологию, используемую в теории сложности, к анализу того, что вычисляют программы, заложив основы для верификации программного обеспечения[2].

Его интересы также охватывали лямбда-исчисление, теорию категорий, логику программ и параллельные вычисления[4]. В последние годы активности занимался образовательными технологиями[2].

Преподавание и научное руководство

Мейер разработал и многие годы читал курс MIT 6.042J «Mathematics for Computer Science», ставший одним из центральных в учебном плане MIT. Лекции Мейера легли в основу широко используемого учебника, написанного в соавторстве с Эриком Леманом и Фрэнком Лейтоном[3].

Мейер подготовил 26 аспирантов, многие из которых стали ведущими исследователями в академических учреждениях США. Среди его учеников — Нэнси Линч (теория распределённых вычислений), Леонид Левин (co-открыватель NP-полноты), Давид Харель (теория автоматов и визуальные языки), Джозеф Халперн (логика знаний и рассуждений), Джон Митчелл (теория типов и безопасность программ) и другие[2].

Награды и признание

Основные труды

  • Meyer A. R., Stockmeyer L. J. The equivalence problem for regular expressions with squaring requires exponential space // Proceedings of the 13th Annual Symposium on Switching and Automata Theory. — IEEE, 1972. — С. 125—129.
  • Stockmeyer L. J. The polynomial-time hierarchy // Theoretical Computer Science. — 1977. — Т. 3, № 1. — С. 1—22. (предварительные результаты совместно с Мейером, 1972)
  • Meyer A. R. The inherent computational complexity of theories of ordered sets // Proceedings of the International Congress of Mathematicians. — 1974.
  • Lehman E., Leighton F. T., Meyer A. R. Mathematics for Computer Science. — MIT, 2017. — Учебник курса 6.042J.
  • Meyer A. R., Wand M. (eds.) Research Directions in Computer Science: An MIT Perspective. — Cambridge: MIT Press, 1991.

Примечания

  1. ↑ Albert Meyer oral history (англ.). Computer History Museum (5 сентября 2018). Дата обращения: 5 августа 2026.
  2. ↑ 1 2 3 4 5 6 7 8 9 Albert R. Meyer (англ.). MIT CSAIL. Дата обращения: 5 августа 2026.
  3. ↑ 1 2 3 4 5 6 7 Albert R. Meyer (англ.). Notable People Project. Дата обращения: 5 августа 2026.
  4. ↑ Prof. Albert R Meyer (англ.). MIT Independent Activities Period. Дата обращения: 5 августа 2026.

Литература

  • Van Leeuwen J. (ed.). Handbook of Theoretical Computer Science. Vol. A: Algorithms and Complexity : [англ.]. — Cambridge : MIT Press, 1990. — ISBN 978-0-262-22038-6.

Ссылки

Категории

© Правообладателем данного материала является АНО «Интернет-энциклопедия «РУВИКИ».
Использование данного материала на других сайтах возможно только с согласия АНО «Интернет-энциклопедия «РУВИКИ».
Pause