Натараджан Шанкар | |
---|---|
Родился | Индия |
Alma mater | IIT Madras. Техасский университет в Остин |
известен | системой проверки прототипа |
наградами | SRI International научный сотрудник 2009 |
научная карьера | |
области | компьютерные науки |
учреждения | SRI International |
Натараджан Шанкар - специалист по информатике, работает в SRI International в Менло-Парк, Калифорния, где он возглавляет Лабораторию символического анализа.
Шанкар получил докторскую степень. степень по информатике под руководством Роберта С. Бойера и Дж. Стротера Мура из Техасского университета в Остине в 1986 году.
Его доктор философии. Диссертация была опубликована в качестве книги «Метаматематика, машины и доказательства Гёделя» издательством Cambridge University Press в 1994 году.
Шанкар первоначально работал научным сотрудником в Стэнфордский университет, с 1986 по 1988 год. В 1989 году он присоединился к лаборатории компьютерных наук SRI International. Находясь в SRI, он использовал средство доказательства теорем Бойера – Мура для доказательства таких метатеорем, как теорема о тавтологии, теорема Геделя о неполноте и теорема Черча-Россера. Он внес вклад в разработку технологии автоматизированного мышления, дедуктивных систем и вычислительных машин, в том числе системы проверки прототипов.
. В 2009 году он был назначен научным сотрудником SRI. Стипендия отмечает выдающихся сотрудников за их выдающийся вклад в науку. Другими сотрудниками SRI в лаборатории компьютерных наук в SRI являются Питер Г. Нойман, Джон Рашби, Патрик Линкольн и Кэролайн Талкотт.