Rajeev Alur, né le , est un informaticien théoricien de citoyenneté américaine Curriculum vitæ de Rajeev Alur. 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 (). Il travaille d'abord au 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 , (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 et . 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 :
, pour le prix Alonzo ChurchLaudatio sur l'EATCS. , pour le LICS Test-of-Time Award
Notes et références
Liens externes
Catégorie:Étudiant de l'université Stanford Catégorie:Scientifique des laboratoires Bell Catégorie:Professeur à l'université de Pennsylvanie Catégorie:Personnalité en méthodes formelles Catégorie:Personnalité américaine de l'informatique Catégorie:Lauréat du prix Knuth