Rajeev Alur
راجیو الور پنسلوانیا یونیورسٹی میں کمپیوٹر سائنس کے ایک امریکی پروفیسر ہیں جنہوں نے رسمی طریقوں، پروگرامنگ زبانوں، اور آٹومیٹا تھیوری میں اہم کردار ادا کیا ہے، بشمول خاص طور پر ٹائمڈ آٹومیٹا (الور اور دل، 1994) اور نیسٹڈ الفاظ (الور اور مدھوسودن، 2004) کا تعارف۔ پروفیسر الور پونے میں پیدا ہوئے۔ انہوں نے 1987 میں انڈین انسٹی ٹیوٹ آف ٹیکنالوجی کانپور سے کمپیوٹر سائنس میں بیچلر کی ڈگری حاصل کی، اور 1991 میں اسٹینفورڈ یونیورسٹی سے کمپیوٹر سائنس میں پی ایچ ڈی کی۔ 1997 میں پنسلوانیا یونیورسٹی میں شامل ہونے سے پہلے، وہ بیل لیبارٹریز میں کمپیوٹنگ سائنس ریسرچ سینٹر کے ساتھ تھے۔ ان کی تحقیق میں رسمی ماڈلنگ اور رد عمل کے نظام کا تجزیہ، ہائبرڈ سسٹم، ماڈل چیکنگ، سافٹ ویئر کی تصدیق، سرایت شدہ سافٹ ویئر کے لیے ڈیزائن آٹومیشن، اور پروگرام کی ترکیب شامل ہیں۔ وہ اے سی ایم کے فیلو، آئی ای ای ای کے فیلو ہیں، اور اے سی ایم سگڈ (ایمبیڈڈ سسٹمز پر اسپیشل انٹرسٹ گروپ) کے چیئرمین کے طور پر خدمات انجام دے چکے ہیں۔ وہ 2003 سے یوپین میں زسمان فیملی پروفیسر کا خطاب رکھتے ہیں۔ ایوارڈز اور اعزازات یو ایس نیشنل سائنس فاؤنڈیشن کی طرف سے کیریئر ایوارڈ۔ 2008 کا کمپیوٹر ایڈیڈ ویریفکیشن ایوارڈ حقیقی وقت کے نظام کی تصدیق کے نظریہ میں بنیادی شراکت کے لیے (ڈیوڈ ڈل کے ساتھ)۔ 2010 کا ایل آئی سی ایس (آئی ای ای ای سمپوزیم آن لاجک ان کمپیوٹر سائنس) ٹیسٹ آف ٹائم ایوارڈ 1990 کے مقالے "ماڈل چیکنگ فار ریئل ٹائم سسٹمز" (ڈیوڈ ڈل اور کوسٹاس کورکوبیٹس کے ساتھ) کے لیے۔ ڈیوڈ ڈل کے ساتھ 2016 کا الونزو چرچ ایوارڈ "ان کی ٹائمڈ آٹومیٹا کی ایجاد کے لیے، جو حقیقی وقت کے نظام کا ایک فیصلہ کن ماڈل ہے، جو ایک ناول، خوبصورت، گہرے نظریہ کو وسیع پیمانے پر عملی اثرات کے ساتھ جوڑتا ہے۔" ۔