Алур, Раджив
Раджив Алур
- Место рождения
- Пуна
- Род деятельности
- профессор компьютерных и информационных наук
Раджив Алур ([Нет даты!]) — американский профессор компьютерных наук в Пенсильванском университете. Внёс вклад в формальные методы, языки программирования и теорию автоматов, в частности, ввёл понятия временных автоматов (совместно с Дэвидом Диллом, 1994) и вложенных слов (совместно с Мадхусуданом, 2004).
Биография[править]
Алур родился в Пуне. В 1987 году получил степень бакалавра компьютерных наук в Индийском технологическом институте в Канпуре, а в 1991 году — степень доктора философии по компьютерным наукам в Стэнфордском университете. До перехода в Пенсильванский университет в 1997 году работал в Исследовательском центре компьютерных наук в Bell Laboratories. Его исследования включают формальное моделирование и анализ реактивных систем, гибридных систем, проверку моделей, верификацию программного обеспечения, автоматизацию проектирования для встроенного программного обеспечения и синтез программ. Является членом Ассоциации вычислительной техники (ACM)[1], членом IEEE и занимал должность председателя ACM SIGBED (Специальная группа по встроенным системам). С 2003 года носит звание профессора семьи Зисман в Пенсильванском университете[2].
Награды и премии[править]
- Премия CAREER от Национального научного фонда США[3].
- Премия Computer Aided Verification 2008 года за фундаментальный вклад в теорию верификации систем реального времени (совместно с Дэвидом Диллом).
- Премия Test-of-Time 2010 года на симпозиуме LICS (Симпозиум IEEE по логике в компьютерных науках) за статью 1990 года «Model-checking for real-time systems» (совместно с Дэвидом Диллом и Костасом Куркубетисом)[4].
- Премия Алонзо Чёрча 2016 года совместно с Дэвидом Диллом «за изобретение временных автоматов, разрешимой модели систем реального времени, которая сочетает в себе новаторскую, элегантную, глубокую теорию с широким практическим влиянием».
- Премия Кнута 2024 года за «выдающийся вклад в основы компьютерных наук благодаря внедрению новаторских моделей вычислений, которые обеспечивают теоретические основы для анализа, проектирования, синтеза и верификации компьютерных систем»[5].
Примечания[править]
- ↑ Rajeev Alur. ACM Fellows. ACM (2007). — «For contributions to the specification and verification of reactive and hybrid systems.» Проверено 12 августа 2026.
- ↑ Zisman Family Professor of CIS: Rajeev Alur. Almanac, Vol. 50, No. 12, November 11, 2003. Проверено 12 августа 2026.
- ↑ CAREER: Computer-Aided Verification of Reactive Systems. National Science Foundation. Проверено 12 августа 2026.
- ↑ LICS Test-of-Time award. — «For the pioneer work in the model checking of real-time systems.» Проверено 12 августа 2026.
- ↑ 2024 Knuth Prize: Rajeev Alur. ACM Special Interest Group on Algorithms and Computation Theory. Проверено 12 августа 2026.
Ссылки[править]
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Алур, Раджив», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|
- Персоналии по алфавиту
- Выпускники Стэнфордского университета
- Сотрудники Bell Labs
- Учёные в области информатики США
- Преподаватели Пенсильванского университета
- Лауреаты премии Кнута
- Родившиеся в Пуне
- Персоналии:Пуна
- Simons Investigators
- Действительные члены Ассоциации вычислительной техники
- Выпускники Инженерной школы Стэнфордского университета
- Действительные члены IEEE
- Иммигрировавшие в США из Индии