Натараджан Шанкар - Natarajan Shankar

Натараджан Шанкар
Родившийся
Индия
Альма-матерИИТ Мадрас
Техасский университет в Остине
ИзвестенСистема проверки прототипа
НаградыSRI International Сотрудник 2009 г.
Научная карьера
ПоляИнформатика
УчрежденияSRI International

Натараджан Шанкар компьютерный ученый, работающий в SRI International в Менло-Парк, Калифорния, где он возглавляет Лабораторию символического анализа.[1]

Образование

Шанкар получил докторскую степень. степень в области компьютерных наук, под руководством консультантов Роберт С. Бойер и Дж. Стротер Мур, от Техасский университет в Остине в 1986 г.[1]

Его докторская степень. Диссертация была опубликована в виде книги «Метаматематика, машины и доказательство Гёделя» Издательство Кембриджского университета в 1994 г.[2]

Карьера

Шанкар первоначально работал научным сотрудником в Стэндфордский Университет, с 1986 по 1988 гг.[1] В 1989 году он присоединился к SRI International Лаборатория компьютерных наук. В SRI он использовал Устройство доказательства теорем Бойера – Мура для доказательства метатеорем, таких как теорема тавтологии, Теорема Гёделя о неполноте и Черч-Россер теорема. Он внес свой вклад в развитие технологии автоматизированного мышления, дедуктивных систем и вычислительных машин, в том числе Система проверки прототипа.[1]

В 2009 году он был назначен научным сотрудником НИИ.[3] Стипендия отмечает выдающихся сотрудников за их выдающийся вклад в науку. Другими научными сотрудниками лаборатории информатики в НИИ являются: Питер Г. Нойман, Джон Рашби, Патрик Линкольн и Кэролайн Талкотт.[3]

Рекомендации

  1. ^ а б c d «Натараджан Шанкар». Федеративная логическая конференция 2002. Получено 2012-03-11.
  2. ^ «Метаматематика, машины и доказательство Гёделя». SRI International. Получено 2012-03-11.
  3. ^ а б «Стипендиаты НИИ». SRI International. Получено 2012-03-11.

внешняя ссылка