Элиаху (Эли) Шамир ( иврит : אליהו שמיר ) — израильский математик и ученый-компьютерщик , почетный профессор компьютерных наук имени Жана и Хелен Альфасса в Еврейском университете в Иерусалиме . [1]
Шамир получил степень доктора философии в Еврейском университете в 1963 году под руководством Шмуэля Агмона . После недолгой работы на преподавательских должностях в Калифорнийском университете, Беркли и Северо-Западном университете , он вернулся в Еврейский университет в 1966 году и был повышен до должности профессора в 1972 году. [1] [2]
Шамир был одним из первооткрывателей леммы о накачке для контекстно-свободных языков . [3] Он проводил исследования в области дифференциальных уравнений с частными производными , теории автоматов , случайных графов , теории вычислительного обучения и вычислительной лингвистики . Он был (вместе с Майклом О. Рабином ) одним из основателей программы по информатике в Еврейском университете. [4]
В 1987 году ему была присвоена именная кафедра, а в 2002 году в его честь в Неве-Илане, Израиль, был проведен семинар по обучению и формальной верификации. [4]