Accueil🇫🇷Chercher

Rajeev Alur

Rajeev Alur, né le , 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 :

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 ], ACM Fellows, ACM, (consulté le ) : « 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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.