Rajeev Alur
Prof. Alur alizaliwa Pune. Alipata shahada yake ya kwanza katika sayansi ya kompyuta kutoka Taasisi ya Teknolojia ya India huko Kanpur, India, mwaka wa 1987, na Ph.D. katika sayansi ya kompyuta kutoka Chuo Kikuu cha Stanford, California, Marekani, mnamo mwaka 1991. Kabla ya kujiunga na Chuo Kikuu cha Pennsylvania mnamo mwaka 1997, alikuwa na Kituo cha Utafiti wa Sayansi ya Kompyuta katika Bell Laboratories. Utafiti wake umejumuisha uundaji rasmi na uchambuzi wa mifumo tendaji, mifumo ya mseto, ukaguzi wa mfano, uthibitishaji wa programu, uundaji wa kiotomatiki wa programu iliyopachikwa, na usanisi wa programu. Yeye ni Mshirika wa ACM,  Mshirika wa IEEE, na amewahi kuwa mwenyekiti wa ACM SIGBED (Kikundi Maalum cha Maslahi kwenye Mifumo Iliyopachikwa). Pia ni Profesa wa Familia ya Zisman huko UPenn tangu 2003.