Rajeev Alur

Pour les articles homonymes, voir Alur.

Rajeev Alur

Rajeev Alur le 16 août 2006.

Biographie

Naissance	5 mars 1966 (60 ans)
Nationalité	américaine
Formation	Université Stanford Institut indien de technologie de Kanpur
Activités	Informaticien, ingénieur, professeur d'université

Autres informations

A travaillé pour	Université de Pennsylvanie
Membre de	Association for Computing Machinery (2007) Institute of Electrical and Electronics Engineers
Directeur de thèse	David L. Dill
Site web	www.cis.upenn.edu/~alur
Distinctions	Liste détaillée ACM Fellow (2007) Membre de l'AAAS (2016) Alonzo Church Award (2016) Prix Knuth (2024) Membre de l'IEEE

modifier - modifier le code - modifier Wikidata

Rajeev Alur, né le 5 mars 1966, est un informaticien théoricien de citoyenneté américaine d'origine indienne. Il est professeur au département d'informatique et des sciences d'information à l'université de Pennsylvanie, aux États-Unis, sur la chaire Zisman Family.

Biographie

Alur a obtenu un Bachelor of Technology en informatique à l'Institut indien de technologie à Kanpur, en Inde, en 1987, puis un Ph. D. en informatique à l'université Stanford, en Californie, en 1991, sous la direction de David L. Dill (« Techniques for Automatic Verification of Real-Time Systems »). Il travaille d'abord au Computing Science Research Center des Laboratoires Bell, et rejoint ensuite l'université de Pennsylvanie en 1997.

Recherche

Les domaines de recherche d'Alur sont la modélisation formelle de systèmes réactifs, la vérification de modèles, la vérification de logiciels, conception automatique de logiciels embarqués. Ses contributions comprenne les automates temporisés et la spécification temporelle fondée sur des langages de mots imbriqués et d'arbres.

Honneurs et prix

• 1987 : President of India Gold Medal for Academic Excellence, Indian Institute of Technology, Kanpur.
• 1998 : National Science Foundation Early Career Development Award.
• 2005–2007 : Président du ACM SIGBED (Special Interest Group on Embedded Systems).
• 2007 : Fellow de l'ACM
• 2008 : Fellow de l'IEEE
• 2008 : CAV (Computer Aided Verification) Award « for fundamental contributions to the theory of real-time systems verification », (avec David Dill).
• 2010 : LICS (IEEE Symposium on Logic in Computer Science) Test-of-Time award pour l'article LICS 1990 « Model checking for real-time systems » de la conférence LICS de 1990 (avec David Dill et Costas Courcoubetis).
• 2016 : Prix Alonzo Church pour « outstanding contributions to logic and computation » et « for their invention of timed automata ».
• 2024 : Prix Knuth pour son introduction de nouveaux modèles de calcul qui apportent des fondations théoriques à l'analyse, le design, la syntèse et la vérification de systèmes informatiques.

Travaux

Les articles cités lors des prix qui lui sont décernés sont :

• Rajeev Alur et David L. Dill, « A theory of timed automata », Theoretical computer science, vol. 126, n^o 2,‎ 1994, p. 183-235 (DOI 10.1016/0304-3975(94)90010-8), pour le prix Alonzo Church
• Rajeev Alur, Costas Courcoubetis et David L. Dill, « Model-Checking for Real-Time Systems », Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990),‎ 1900, p. 414-425 (DOI 10.1109/LICS.1990.113766), pour le LICS Test-of-Time Award

Notes et références

Liens externes

• Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • CiNii
  • Pays-Bas
  • Israël
  • NUKAT
  • Norvège
  • Tchéquie

• Portail de l'informatique théorique