Альберт Рональд да Силва Мейер (родился в 1941 году) — почетный профессор компьютерных наук в Массачусетском технологическом институте (MIT) компании Hitachi America .
Мейер получил докторскую степень в Гарвардском университете в 1972 году по прикладной математике под руководством Патрика К. Фишера . [1] Он присоединился к факультету электротехники и компьютерных наук (EECS) Массачусетского технологического института в 1969 году. Мейер стал профессором компьютерных наук и инженерии Hitachi America в 1991 году. Он вышел на пенсию из Массачусетского технологического института в 2016 году. [2]
Среди основополагающих работ Мейера можно назвать работу Мейера и Стокмейера (1972), в которой была введена полиномиальная иерархия . Он руководил многочисленными аспирантами, которые теперь являются известными специалистами по информатике; среди них Нэнси Линч , Леонид Левин , Жанна Ферранте , Чарльз Ракофф , Ларри Стокмейер , Дэвид Харел , Джозеф Хэлперн и Джон К. Митчелл . С 1981 по 2020 год он был главным редактором международного журнала по информатике Information and Computation. [3]
С 1987 года он является членом Американской академии искусств и наук (AAAS) [4] , а в 2000 году он был избран членом Ассоциации вычислительной техники (ACM). [5]
Он женат на специалисте по информатике Ирен Грейф . [6]
Медиа из Commons
Тексты из Викиресурса
Данные из Викиданных