Toniann Pitassi
टोनियन पिटासी एक कनाडाई-अमेरिकी गणितशास्त्री और कम्प्यूटेशनल जटिलता सिद्धांत में विशेषज्ञता रखने वाले कंप्यूटर वैज्ञानिक हैं। वह वर्तमान में जेफरी एल. और कोलंबिया विश्वविद्यालय में इंजीनियरिंग की ब्रेंडा ब्लूस्टीन प्रोफेसर हैं और टोरंटो विश्वविद्यालय में बेल रिसर्च चेयर थीं। पिट्सबर्ग के मूल निवासी, पिटासी ने डॉक्टरेट अध्ययन के लिए टोरंटो विश्वविद्यालय जाने से पहले पेंसिल्वेनिया स्टेट यूनिवर्सिटी में स्नातक और स्नातकोत्तर की डिग्री हासिल की; उन्होंने 1992 में स्टीफन कुक की देखरेख में टोरंटो से पीएचडी अर्जित की। कैलिफोर्निया विश्वविद्यालय, सैन डिएगो में पोस्टडॉक्टरल अध्ययन और पिट्सबर्ग विश्वविद्यालय और एरिजोना विश्वविद्यालय में संकाय पदों के बाद, वह 2001 में टोरंटो लौट आईं, और 2021 तक टोरंटो विश्वविद्यालय के कंप्यूटर विज्ञान विभाग और टोरंटो विश्वविद्यालय के गणित विभाग में प्रोफेसर थीं, जब वे कोलंबिया विश्वविद्यालय के संकाय में शामिल हुईं। वह 1998 में बर्लिन में गणितविदों की अंतर्राष्ट्रीय कांग्रेस में आमंत्रित वक्ता थीं। वह कम्प्यूटिंग के सिद्धांत पर 2012 की संगोष्ठी के लिए कार्यक्रम अध्यक्ष थीं। सितंबर से दिसंबर 2017 तक, वह इंस्टीट्यूट फॉर एडवांस्ड स्टडी में विजिटिंग प्रोफेसर थीं। शोध पितासी के शोध ने काफी हद तक प्रमाण जटिलता पर ध्यान केंद्रित किया है, जो कम्प्यूटेशनल जटिलता सिद्धांत की एक शाखा है जो विभिन्न औपचारिक प्रमाण प्रणालियों के भीतर तार्किक प्रस्तावों के गणितीय प्रमाणों की लंबाई पर ऊपरी और निचली सीमा की तलाश करती है। इस अध्ययन का लक्ष्य प्रमाण-खोज प्रक्रियाओं की समय जटिलता और विभिन्न प्रमाण प्रणालियों की सापेक्ष ताकत दोनों को समझने के लिए इन सीमाओं का उपयोग करना है। इस क्षेत्र में उन्होंने जो शोध योगदान दिया है, उसमें कबूतर छेद सिद्धांत के फ्रीज प्रमाणों के लिए घातीय निचली सीमाएं, अधिकतम गुट समस्या से प्राप्त प्रस्तावों पर लागू कटिंग-प्लेन विधि के लिए घातीय निचली सीमाएं, घने यादृच्छिक 3-संतुष्टि उदाहरणों के समाधान प्रमाणों के लिए घातीय निचली सीमाएं और डेविस-पटनाम एल्गोरिदम का उपयोग करके समान घने यादृच्छिक उदाहरणों के लिए उप-घातीय ऊपरी सीमाएं शामिल हैं। पॉल बीम के साथ, उन्होंने प्रमाण जटिलता का एक सर्वेक्षण भी लिखा। मान्यता पितासी को 2018 में "कम्प्यूटेशनल और प्रूफ जटिलता के क्षेत्र में अनुसंधान और शिक्षा में योगदान" के लिए एसीएम फेलो के रूप में चुना गया था। पिटासी को "कम्प्यूटेशनल जटिलता में मौलिक और व्यापक योगदान" के लिए 2021 में ई. ए. टी. सी. एस. (यूरोपियन एसोसिएशन फॉर थियोरेटिकल कंप्यूटर साइंस) पुरस्कार से भी सम्मानित किया गया था। उन्हें 2022 में राष्ट्रीय विज्ञान अकादमी में नामित किया गया था। चयनित प्रकाशन। .. .. .. सैद्धांतिक कंप्यूटर विज्ञान, विश्व वैज्ञानिक, 2001 में वर्तमान रुझानों में पुनर्मुद्रित। .. .. संदर्भ जीवित लोग कनाडाई महिला गणितशास्त्री कनाडाई महिला कंप्यूटर वैज्ञानिक कनाडाई कंप्यूटर वैज्ञानिक टोरंटो विश्वविद्यालय के पूर्व छात्र पेंसिल्वेनिया राज्य विश्वविद्यालय संकाय पिट्सबर्ग विश्वविद्यालय संकाय एरिज़ोना विश्वविद्यालय संकाय टोरंटो विश्वविद्यालय के शैक्षणिक कर्मचारी सैद्धांतिक कंप्यूटर वैज्ञानिक एसोसिएशन फॉर कम्प्यूटिंग मशीनरी के अध्येता जन्म के वर्ष लापता (जीवित लोग) कोलंबिया विश्वविद्यालय संकाय