Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Альберт Рональд да Силва Мейер
Родившийся (1941-11-05) 5 ноября 1941 г. (79 лет)
Альма-матерГарвардский университет
Супруг (а)Ирен Грейф
НаградыСотрудник ACM (2000)
Научная карьера
ПоляИнформатика
УчрежденияМассачусетский технологический институт
ДокторантПатрик К. Фишер
ДокторантыНэнси Линч , Леонид Левин , Жанна Ферранте , Чарльз Ракофф , Ларри Стокмейер , Дэвид Харел , Джозеф Халперн , Джон К. Митчелл
Веб-сайтлюди .csail .mit .edu / meyer /

Альберт Рональд да Силва Мейер (родился в 1941 г.) - почетный профессор компьютерных наук в Массачусетском технологическом институте (MIT) в Hitachi America .

Биография [ править ]

Мейер получил докторскую степень в Гарвардском университете в 1972 году по прикладной математике под руководством Патрика К. Фишера . [1] Он присоединился к факультету электротехники и информатики (EECS) Массачусетского технологического института в 1969 году. Мейер стал профессором компьютерных наук и инженерии Hitachi America в 1991 году. Он ушел из Массачусетского технологического института в 2016 году. [2]

Академическая жизнь [ править ]

Математика для компьютерных наук (2017) Эрика Лемана, Ф. Томсона Лейтона и Альберта Р. Мейера

Основополагающие работы Мейера включают Meyer & Stockmeyer (1972) , в котором была введена полиномиальная иерархия . Он руководил многочисленными аспирантами, ставшими теперь известными учеными-компьютерщиками; в их число входят Нэнси Линч , Леонид Левин , Жанна Ферранте , Чарльз Ракофф , Ларри Стокмейер , Дэвид Харел , Джозеф Халперн и Джон К. Митчелл .

Награды [ править ]

Он был членом Американской академии искусств и наук (AAAS) с 1987 года [3], а в 2000 году он был принят в члены Ассоциации вычислительной техники (ACM). [4] Он является редактором. - руководитель международного журнала по информатике Information and Computing . [5]

Личная жизнь [ править ]

Он женат на ученом-информатике Ирен Грейф . [6]

Публикации [ править ]

  • 1991. Направления исследований в области компьютерных наук: перспективы MIT . (Под ред. С Джоном Гуттагом , Рональдом Ривестом и Питером Соловицем) MIT Press.
  • Мейер, Альберт Р .; Стокмейер, Ларри Дж. (1972). «Проблема эквивалентности для регулярных выражений с возведением в квадрат требует экспоненциального пространства». Proc. 13-й ежегодный симпозиум по теории коммутации и автоматов . С. 125–129. DOI : 10.1109 / SWAT.1972.29 . CS1 maint: discouraged parameter (link).

Ссылки [ править ]

  1. ↑ Альберт Рональд да Силва Мейер в проекте « Математическая генеалогия» .
  2. ^ "Коллекция: документы Альберта Мейера | MIT ArchivesSpace" . archivesspace.mit.edu . Проверено 22 июля 2020 .
  3. ^ «М» (PDF) . Члены Американской академии искусств и наук: 1780–2005 .
  4. ^ "Стипендиаты ACM" . Архивировано из оригинала на 2009-01-01."ACM: Премия стипендиатов / Альберт Мейер" . Архивировано из оригинала на 2007-12-14 . Проверено 7 июня 2009 . «За фундаментальные достижения в теории сложности и семантике программирования, а также за выдающиеся заслуги и образование аспирантов».
  5. ^ Информация и вычисления
  6. ↑ Маккласки, Эйлин (20 октября 2008 г.). «Ирен Грейф '69, SM '72, доктор философии '75 Объединяя компьютеры и людей» . Обзор технологий Массачусетского технологического института . Проверено 19 апреля 2014 года .

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Мейер, Альберт Р. в MathSciNet
  • Альберт Р. Мейер на сервере библиографии DBLP
  • Документы Альберта Мейера , MC-0377. Массачусетский технологический институт, отдел уникальных коллекций, Кембридж, Массачусетс.


  • v
  • t
  • e