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.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions |
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, no 2, , 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), , p. 414-425 (DOI 10.1109/LICS.1990.113766), pour le LICS Test-of-Time Award
Notes et références
- (en) Curriculum vitæ [PDF] de Rajeev Alur.
- (en) « Rajeev Alur », sur le site du Mathematics Genealogy Project.
- « Rajeev Alur » [archive du ], ACM Fellows, ACM, (consulté le ) : « For contributions to the specification and verification of reactive and hybrid systems. ».
- (en) « LICS Test-of-Time Award » : « This paper was a pioneer in the model checking of real-time systems. »
- Laudatio sur l'EATCS.
Liens externes
- Page personnelle Rajeev Alur
- Publications de Rajeev Alur sur DBLP
- Citations des travaux de Rajeev Alur sur Google Scholar