Раджив Алур

Раджив Алур

Раджив Алур — американский профессор информатики в Пенсильванском университете , внесший вклад в формальные методы , языки программирования и теорию автоматов , включая, в частности, введение временных автоматов (Алур и Дилл , 1994) и вложенных слов (Алур и Мадхусудан). , 2004).

Профессор Алур родился в Пуне . Он получил степень бакалавра компьютерных наук в Индийском технологическом институте Канпура в 1987 году и степень доктора философии. Получил степень бакалавра компьютерных наук в Стэнфордском университете в 1991 году. До поступления в Пенсильванский университет в 1997 году он работал в Исследовательском центре вычислительной техники в Bell Laboratories . Его исследования включали формальное моделирование и анализ реактивных систем , гибридных систем , проверку моделей , верификацию программного обеспечения , автоматизацию проектирования встроенного программного обеспечения и синтез программ . Он является членом ACM . Член IEEE и председатель ACM SIGBED (Специальная группа по встраиваемым системам). С 2003 года он носит звание профессора семьи Зисман в Университете Пенсильвании.

Награды и почести

• Награда «КАРЬЕРА» от Национального научного фонда США .
• 2008 года Премия за компьютерную верификацию за фундаментальный вклад в теорию верификации систем реального времени (совместно с Дэвидом Диллом ).
• (Симпозиум IEEE по логике в компьютерных науках) 2010 года Награда LICS за испытание временем за статью 1990 года «Проверка моделей для систем реального времени» (совместно с Дэвидом Диллом и Костасом Куркубетисом).
• 2016 года Премия Алонсо Чёрча вместе с Дэвидом Диллом «за изобретение временных автоматов, разрешимой модели систем реального времени, которая сочетает в себе новую, элегантную, глубокую теорию с широким практическим воздействием».

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

• Последовательность действий на домашней странице Раджива
• Публикации Раджива Алура, проиндексированные Google Scholar