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).