Kristin Yvonne Rozier
ક્રિસ્ટીન યવોન રોઝિયર એક અમેરિકન એરોસ્પેસ એન્જિનિયર અને કોમ્પ્યુટર વૈજ્ઞાનિક છે, જેમના સંશોધનમાં સલામતી-નિર્ણાયક પ્રણાલીઓની ઔપચારિક ચકાસણી માટે, ખાસ કરીને હવાઈ પરિવહન, માનવરહિત હવાઈ વાહનો અને હવાઈ ટ્રાફિક નિયંત્રણ સાથે સંકળાયેલી ટેમ્પોરલ લોજિક અને મોડેલ ચેકિંગ સહિતની ઔપચારિક પદ્ધતિઓની તપાસ કરવામાં આવે છે. તેઓ આયોવા સ્ટેટ યુનિવર્સિટીમાં એરોસ્પેસ એન્જિનિયરિંગ, કમ્પ્યુટર સાયન્સ, ઇલેક્ટ્રિકલ અને કમ્પ્યુટર એન્જિનિયરિંગ અને ગણિતના બ્લેક એન્ડ વીચ એસોસિયેટ પ્રોફેસર છે, જ્યાં તેઓ ટેમ્પોરલ લોજિક માટે પ્રયોગશાળાના વડા છે. શિક્ષણ અને કારકિર્દી રોઝિયરે કોલેજ ઓફ વિલિયમ એન્ડ મેરી ખાતે કોમ્પ્યુટર સાયન્સનો અભ્યાસ કર્યો અને 2000માં સ્નાતક થયા. 2001 માં પોલ કે. સ્ટોકમેયરની દેખરેખ હેઠળ ત્યાં માસ્ટર ડિગ્રી મેળવ્યા પછી, તેઓ કોમ્પ્યુટર સાયન્સમાં ડોક્ટરલ અભ્યાસ માટે રાઇસ યુનિવર્સિટી ગયા. તેમણે 2012માં 'એક્સપ્લિસિટ અથવા સિમ્બોલિક ટ્રાન્સલેશન ઓફ લીનિયર ટેમ્પોરલ લોજિક ટુ ઓટોમેટા "નિબંધ સાથે પીએચ. ડી. પૂર્ણ કરી હતી. તેમના ડોક્ટરલ સલાહકાર મોશે વાર્ડી હતા, જેમાં સ્ટોકમેયર સહ-સલાહકાર હતા. તેઓ 2003માં નાસા લેંગલી રિસર્ચ સેન્ટરમાં સંશોધન વૈજ્ઞાનિક તરીકે જોડાયા હતા અને 2008માં એમ્સ રિસર્ચ સેન્ટરમાં ગયા હતા. 2015 માં તેઓ સિનસિનાટી યુનિવર્સિટીમાં એરોસ્પેસ એન્જિનિયરિંગ અને એન્જિનિયરિંગ મિકેનિક્સના સહાયક પ્રોફેસર બન્યા, અને 2016 માં તેઓ આયોવા સ્ટેટ યુનિવર્સિટીમાં તેમના વર્તમાન પદ પર ગયા. તેણીને એસોસિયેટ પ્રોફેસર તરીકે બઢતી આપવામાં આવી હતી, અને 2021 માં બ્લેક એન્ડ વીચ એસોસિયેટ પ્રોફેસર નામ આપવામાં આવ્યું હતું. તે ડેસ મોઇન્સ, આયોવામાં સ્થિત બિન-નફાકારક સંસ્થા જ્વેલ્સ એકેડેમી દ્વારા STEMમાં ઓછું પ્રતિનિધિત્વ ધરાવતા જૂથોની મહિલાઓને ટેકો આપવા માટે પણ સક્રિય છે. માન્યતા 2013 માં, અમેરિકન ઇન્સ્ટિટ્યૂટ ઓફ એરોનોટિક્સ એન્ડ એસ્ટ્રોનોટિક્સની ઇન્ટેલિજન્ટ સિસ્ટમ્સ ટેકનિકલ કમિટીએ રોઝિયરને તેમનો પ્રતિષ્ઠિત સેવા પુરસ્કાર આપ્યો હતો. 2014 માં, રોઝિયરે "નેક્સ્ટજેન એર ટ્રાફિક કંટ્રોલ સિસ્ટમ ઉમેદવારના ઔપચારિક સ્પષ્ટીકરણ, ચકાસણી અને માન્યતાની અનુકરણીય સિદ્ધિ માટે અને માર્ગદર્શક અને રોલ મોડેલ તરીકે સમર્પણ માટે" એરોસ્પેસમાં મહિલાઓનો પ્રારંભિક પહેલ-પ્રેરણા-અસર પુરસ્કાર જીત્યો હતો. તેમણે 2016માં નેશનલ સાયન્સ ફાઉન્ડેશન કારકિર્દી પુરસ્કાર અને નાસા અર્લી કારકિર્દી ફેકલ્ટી પુરસ્કાર જીત્યો હતો. સંદર્ભો બાહ્ય કડીઓ લેબોરેટરી ફોર ટેમ્પોરલ લોજિક યર ઓફ બર્થ ગુમ થયેલ (જીવંત લોકો) જીવંત લોકો અમેરિકન કમ્પ્યુટર વૈજ્ઞાનિકો અમેરિકન મહિલા કમ્પ્યુટર વૈજ્ઞાનિકો અમેરિકન એરોસ્પેસ ઇજનેરો અમેરિકન મહિલા ઇજનેરો કોલેજ ઓફ વિલિયમ એન્ડ મેરીના ભૂતપૂર્વ વિદ્યાર્થીઓ રાઇસ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી ઓફ સિનસિનાટી ફેકલ્ટી આયોવા સ્ટેટ યુનિવર્સિટી ફેકલ્ટી