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

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

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

Биография

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

Академическая жизнь

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

Награды

Он был членом Американской академии искусств и наук (AAAS) с 1987 года. ^[4] и в 2000 году он был назначен членом Ассоциации вычислительной техники (ACM). ^[5]

Личная жизнь

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

Публикации

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

Ссылки

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

Внешние ссылки

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

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[1] Альберт Рональд да Силва Мейер в проекте «Математическая генеалогия» .

[2] «Коллекция: документы Альберта Мейера | MIT ArchivesSpace» . archivesspace.mit.edu . Проверено 22 июля 2020 г.

[test-3] Информация и вычисления

[4] «М» (PDF) . Члены Американской академии искусств и наук: 1780–2005 гг .

[5] «Стипендиаты ACM» . Архивировано из оригинала 1 января 2009 г. «ACM: Премия Fellows / Альберт Р. Мейер» . Архивировано из оригинала 14 декабря 2007 г. Проверено 7 июня 2009 г. «За фундаментальные достижения в теории сложности и семантике программирования, а также за выдающиеся заслуги и образование аспирантов».

[McCluskey2008-6] Маккласки, Эйлин (20 октября 2008 г.). «Ирен Грейф '69, SM '72, доктор философии '75. Соединение компьютеров и людей» . Обзор технологий Массачусетского технологического института . Проверено 19 апреля 2014 г.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Италия Израиль Бельгия Соединенные Штаты Чешская Республика Австралия Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф