Aarti Gupta (computer scientist)
आरती गुप्ता एक कंप्यूटर वैज्ञानिक हैं जो औपचारिक तरीकों, इलेक्ट्रॉनिक डिजाइन ऑटोमेशन और प्रोग्रामिंग भाषाओं में काम कर रही हैं। भारत और अमेरिका में शिक्षित, वह वर्तमान में प्रिंसटन विश्वविद्यालय में कंप्यूटर विज्ञान विभाग में प्रोफेसर हैं। शिक्षा और करियर आरती गुप्ता ने आई. आई. टी. बॉम्बे, भारत से स्नातक की डिग्री और 1994 में कार्नेगी मेलन विश्वविद्यालय से कंप्यूटर विज्ञान में पी. एच. डी. प्राप्त की। बाद में उन्होंने एन. ई. सी. लैबोरेटरीज अमेरिका में सी और सी + + कोड में लिखे गए बड़े पैमाने पर औद्योगिक कोडबेस की शुद्धता को सत्यापित करने के लिए उपकरण विकसित करने के लिए काम किया। उनके और उनकी टीम के प्रयासों ने उन्हें 2005 का एन. ई. सी. प्रौद्योगिकी व्यावसायीकरण पुरस्कार दिलाया। वह 2015 में पूर्ण प्रोफेसर के रूप में प्रिंसटन विश्वविद्यालय में कंप्यूटर विज्ञान विभाग में शामिल हुईं। उन्होंने कार्यक्रम संश्लेषण, समवर्ती कार्यक्रमों का सत्यापन, हार्डवेयर और कंप्यूटर नेटवर्क के सत्यापन जैसे विषयों पर व्यापक रूप से प्रकाशित किया है। सेवा और पुरस्कार एसीएम फेलो, 2017: "प्रणाली विश्लेषण और सत्यापन तकनीकों में योगदान और औद्योगिक अभ्यास में उनके हस्तांतरण के लिए" संचालन समिति के सदस्य, कंप्यूटर सहायता प्राप्त सत्यापन सम्मेलन। संचालन समिति के पूर्व सदस्य, कंप्यूटर-एडेड डिजाइन (एफ. एम. सी. ए. डी.) सम्मेलन में औपचारिक तरीके संपादकीय बोर्ड के सदस्य, सिस्टम डिजाइन में औपचारिक तरीके संपादकीय बोर्ड के सदस्य, इलेक्ट्रॉनिक सिस्टम के डिजाइन स्वचालन पर ए. सी. एम. लेनदेन