Rajeev Alur

Rajeev Alur

Rajeev Alur le 16 août 2006.

Biographie

Naissance	5 mars 1966 (58 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	(en) www.cis.upenn.edu/~alur
Distinctions	Liste détaillée ACM Fellow (2007) Membre de l'AAAS (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[1] 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[2], 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,.
• 2007 : Fellow de l'ACM[3]
• 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[4] 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 »[5].
• 2005–2007 : Président du ACM SIGBED (Special Interest Group on Embedded Systems).

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[5]
• 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

1. (en) Curriculum vitæ [PDF] de Rajeev Alur.
2. (en) « Rajeev Alur », sur le site du Mathematics Genealogy Project.
3. « Rajeev Alur » [archive du 1^er mars 2012], ACM Fellows, ACM, 2007 (consulté le 23 janvier 2010) : « For contributions to the specification and verification of reactive and hybrid systems. ».
4. (en) « LICS Test-of-Time Award » : « This paper was a pioneer in the model checking of real-time systems. »
5. Laudatio sur l'EATCS.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Rajeev Alur » (voir la liste des auteurs).

Liens externes

• Page personnelle Rajeev Alur
• Publications de Rajeev Alur sur DBLP
• Citations des travaux de Rajeev Alur sur Google Scholar

Notices d'autorité :

• VIAF
• ISNI
• IdRef
• LCCN
• GND
• Pays-Bas
• Israël
• NUKAT
• Tchéquie
• WorldCat