Алур, Раджив

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

• Премия CAREER от Национального научного фонда США^[4].
• Премия Computer Aided Verification 2008 года за фундаментальный вклад в теорию верификации систем реального времени (совместно с Дэвидом Диллом).
• Премия Test-of-Time 2010 года на симпозиуме LICS (Симпозиум IEEE по логике в компьютерных науках) за статью 1990 года «Model-checking for real-time systems» (совместно с Дэвидом Диллом и Костасом Куркубетисом)^[5].
• Премия Алонзо Чёрча 2016 года совместно с Дэвидом Диллом «за изобретение временных автоматов, разрешимой модели систем реального времени, которая сочетает в себе новаторскую, элегантную, глубокую теорию с широким практическим влиянием».
• Премия Кнута 2024 года за «выдающийся вклад в основы компьютерных наук благодаря внедрению новаторских моделей вычислений, которые обеспечивают теоретические основы для анализа, проектирования, синтеза и верификации компьютерных систем»^[6].