Rajeev Alur
Rajeev Alur ni profesa wa sayansi ya kompyuta wa mAREKANI katika Chuo Kikuu cha Pennsylvania ambaye ametoa michango kwa njia rasmi, lugha za programu, nadharia ya kiotomatiki, pamoja na kuanzishwa kwa otomatiki ya wakati (Alur na Dill, mnamo mwaka 1994).
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, [1] 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.[2]
Marejeo
hariri- ↑ "Rajeev Alur". ACM Fellows. ACM. 2007. Iliwekwa mnamo 2010-01-23.
For contributions to the specification and verification of reactive and hybrid systems.
- ↑ "Zisman Family Professor of CIS: Rajeev Alur". University of Pennsylvania Almanac. Almanac, Vol. 50, No. 12, November 11, 2003. Iliwekwa mnamo 16 Oktoba 2021.
{{cite web}}: CS1 maint: date auto-translated (link)