Kristin Yvonne Rozier
क्रिस्टिन यवोन रोजियर एक अमेरिकी एयरोस्पेस इंजीनियर और कंप्यूटर वैज्ञानिक हैं, जिनका शोध सुरक्षा-महत्वपूर्ण प्रणालियों, विशेष रूप से हवाई परिवहन, मानव रहित हवाई वाहनों और हवाई यातायात नियंत्रण से जुड़े औपचारिक सत्यापन के लिए अस्थायी तर्क और मॉडल जांच सहित औपचारिक तरीकों की जांच करता है। वह आयोवा स्टेट यूनिवर्सिटी में एयरोस्पेस इंजीनियरिंग, कंप्यूटर साइंस, इलेक्ट्रिकल और कंप्यूटर इंजीनियरिंग और गणित की ब्लैक एंड वीच एसोसिएट प्रोफेसर हैं, जहाँ वे टेम्पोरल लॉजिक के लिए प्रयोगशाला की प्रमुख हैं। शिक्षा और करियर रोजियर ने कॉलेज ऑफ विलियम एंड मैरी में कंप्यूटर विज्ञान का अध्ययन किया और 2000 में स्नातक किया। 2001 में पॉल के. स्टॉकमेयर की देखरेख में मास्टर डिग्री हासिल करने के बाद, वह कंप्यूटर विज्ञान में डॉक्टरेट अध्ययन के लिए राइस विश्वविद्यालय गईं। उन्होंने 2012 में लीनियर टेम्पोरल लॉजिक टू ऑटोमेटा के एक्सप्लिसिट या सिम्बोलिक ट्रांसलेशन के शोध प्रबंध के साथ अपनी पीएचडी पूरी की। उनके डॉक्टरेट सलाहकार मोशे वर्दी थे, जिसमें स्टॉकमेयर सह-सलाहकार थे। वह 2003 में एक शोध वैज्ञानिक के रूप में नासा लैंगली रिसर्च सेंटर में शामिल हुईं, और 2008 में एम्स रिसर्च सेंटर में चली गईं। 2015 में वह सिनसिनाटी विश्वविद्यालय में एयरोस्पेस इंजीनियरिंग और इंजीनियरिंग यांत्रिकी की सहायक प्रोफेसर बनीं, और 2016 में वह आयोवा स्टेट यूनिवर्सिटी में अपने वर्तमान पद पर आ गईं। उन्हें 2021 में एसोसिएट प्रोफेसर के रूप में पदोन्नत किया गया और ब्लैक एंड वीच एसोसिएट प्रोफेसर नामित किया गया। वह डेस मोइन्स, आयोवा में स्थित एक गैर-लाभकारी संगठन ज्वेल्स अकादमी के माध्यम से एसटीईएम में कम प्रतिनिधित्व वाले समूहों की महिलाओं का समर्थन करने में भी सक्रिय हैं। मान्यता 2013 में, अमेरिकन इंस्टीट्यूट ऑफ एयरोनॉटिक्स एंड एस्ट्रोनॉटिक्स की बुद्धिमान प्रणाली तकनीकी समिति ने रोजियर को उनका विशिष्ट सेवा पुरस्कार दिया। 2014 में, रोजियर ने एयरोस्पेस में महिलाओं का उद्घाटन इनिशिएटिव-इंस्पिरेशन-इम्पैक्ट अवार्ड जीता, "एक नेक्स्टजेन एयर ट्रैफिक कंट्रोल सिस्टम उम्मीदवार के औपचारिक विनिर्देश, सत्यापन और सत्यापन की अनुकरणीय उपलब्धि और एक संरक्षक और रोल मॉडल के रूप में समर्पण के लिए"। उन्होंने 2016 में नेशनल साइंस फाउंडेशन करियर अवार्ड और नासा अर्ली करियर फैकल्टी अवार्ड जीता। संदर्भ बाहरी लिंक अस्थायी तर्क के लिए प्रयोगशाला जन्म का वर्ष लापता (जीवित लोग) जीवित लोग अमेरिकी कंप्यूटर वैज्ञानिक अमेरिकी महिला कंप्यूटर वैज्ञानिक अमेरिकी एयरोस्पेस इंजीनियर अमेरिकी महिला इंजीनियर विलियम और मैरी कॉलेज के पूर्व छात्र राइस विश्वविद्यालय के पूर्व छात्र सिनसिनाटी संकाय आयोवा राज्य विश्वविद्यालय के संकाय