Rajeev Alur
राजीव अलूर पेनसिल्वेनिया विश्वविद्यालय में कंप्यूटर विज्ञान के एक अमेरिकी प्रोफेसर हैं, जिन्होंने औपचारिक तरीकों, प्रोग्रामिंग भाषाओं और स्वचालित सिद्धांत में योगदान दिया है, जिसमें विशेष रूप से समयबद्ध स्वचालित (अलूर और डिल, 1994) और निहित शब्दों (अलूर और मधुसूदन, 2004) की शुरुआत शामिल है। प्रो. अलूर का जन्म पुणे में हुआ था। उन्होंने 1987 में भारतीय प्रौद्योगिकी संस्थान कानपुर से कंप्यूटर विज्ञान में स्नातक की डिग्री प्राप्त की और 1991 में स्टैनफोर्ड विश्वविद्यालय से कंप्यूटर विज्ञान में पीएचडी की। 1997 में पेंसिल्वेनिया विश्वविद्यालय में शामिल होने से पहले, वे बेल लैबोरेटरीज में कम्प्यूटिंग विज्ञान अनुसंधान केंद्र के साथ थे। उनके शोध में प्रतिक्रियाशील प्रणालियों, संकर प्रणालियों, मॉडल जाँच, सॉफ्टवेयर सत्यापन, एम्बेडेड सॉफ्टवेयर के लिए डिजाइन स्वचालन और प्रोग्राम संश्लेषण का औपचारिक मॉडलिंग और विश्लेषण शामिल है। वह ए. सी. एम. के अध्येता हैं, आई. ई. ई. ई. के अध्येता हैं, और ए. सी. एम. एस. आई. जी. बी. ई. डी. (एम्बेडेड सिस्टम पर विशेष रुचि समूह) के अध्यक्ष के रूप में कार्य कर चुके हैं। वह 2003 से यू. पी. एन. में ज़िस्मान परिवार के प्रोफेसर का खिताब रखते हैं। यू. एस. नेशनल साइंस फाउंडेशन से ए करियर पुरस्कार और सम्मान। वास्तविक समय प्रणाली सत्यापन के सिद्धांत में मौलिक योगदान के लिए 2008 का कंप्यूटर सहायता प्राप्त सत्यापन पुरस्कार (डेविड डिल के साथ)। 1990 के पेपर "मॉडल-चेकिंग फॉर रियल-टाइम सिस्टम्स" (डेविड डिल और कोस्टास कोरकोबेटिस के साथ) के लिए 2010 एल. आई. सी. एस. (आई. ई. ई. ई. सिम्पोजियम ऑन लॉजिक इन कंप्यूटर साइंस) टेस्ट-ऑफ-टाइम पुरस्कार। डेविड डिल के साथ 2016 का अलोंजो चर्च पुरस्कार "समयबद्ध स्वचालित के उनके आविष्कार के लिए, जो वास्तविक समय प्रणालियों का एक निर्णायक मॉडल है, जो व्यापक व्यावहारिक प्रभाव के साथ एक उपन्यास, सुरुचिपूर्ण, गहरे सिद्धांत को जोड़ता है।" ।