Stephanie Weirich
स्टेफनी वेइरिच () एक अमेरिकी कंप्यूटर वैज्ञानिक हैं जो प्रकार सिद्धांत, प्रकार अनुमान, आश्रित प्रकार और कार्यात्मक प्रोग्रामिंग में विशेषज्ञता रखती हैं। वह पेंसिल्वेनिया विश्वविद्यालय में कंप्यूटर विज्ञान की प्रोफेसर हैं। वेइरिक ने 1996 में राइस विश्वविद्यालय से मैग्ना कम लाउड में स्नातक की उपाधि प्राप्त की, कंप्यूटर विज्ञान में स्नातक की डिग्री के साथ। राइस में, वह मैथियस फेलिसेन के साथ एक स्नातक अनुसंधान परियोजना के माध्यम से प्रोग्रामिंग भाषाओं में रुचि लेने लगीं। वह अपनी स्नातक की पढ़ाई के लिए कॉर्नेल विश्वविद्यालय चली गईं और 2002 में अपनी पीएचडी पूरी की। उनका शोध प्रबंध, प्रोग्रामिंग विद टाइप्स, ग्रेग मॉरिसेट द्वारा पर्यवेक्षित किया गया था। वह 2002 में पेंसिल्वेनिया विश्वविद्यालय के संकाय में शामिल हुईं। प्रकार अनुमान पर वीरिख के काम को ग्लासगो हास्केल संकलक में शामिल किया गया है। वह प्रोग्रामिंग भाषाओं की बेंचमार्किंग प्रकार प्रणालियों के लिए पी. ओ. पी. एल. मार्क चुनौती की भी अग्रणी रही हैं। वेइरिच ने 2016 में एसीएम सिप्लान का रॉबिन मिलनर यंग रिसर्चर पुरस्कार जीता। संदर्भ बाहरी लिंक होम पेज जन्म का वर्ष लापता (जीवित लोग) जीवित लोग अमेरिकी कंप्यूटर वैज्ञानिक अमेरिकी महिला कंप्यूटर वैज्ञानिक प्रोग्रामिंग भाषा शोधकर्ता राइस विश्वविद्यालय के पूर्व छात्र कॉर्नेल विश्वविद्यालय के पूर्व छात्र पेंसिल्वेनिया संकाय अमेरिकी महिला शिक्षाविद 21वीं सदी की अमेरिकी महिलाएँ