Emina Torlak
એમીના ટોરલાક એક અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિક અને સોફ્ટવેર એન્જિનિયર છે, જેમના સંશોધનમાં સોફ્ટવેર ચકાસણી, પ્રોગ્રામ સંશ્લેષણ અને આ તકનીકોને ડોમેન-વિશિષ્ટ ભાષાઓમાં એકીકૃત કરવાની ચિંતા છે. તેઓ યુનિવર્સિટી ઓફ વોશિંગ્ટન ખાતે કોમ્પ્યુટર સાયન્સના સહયોગી પ્રોફેસર અને એમેઝોન વેબ સર્વિસીસના વરિષ્ઠ મુખ્ય વૈજ્ઞાનિક છે. શિક્ષણ અને કારકિર્દી ટોરલાકનું શિક્ષણ મેસેચ્યુસેટ્સ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી ખાતે કોમ્પ્યુટર સાયન્સમાં થયું હતું, તેમણે 2003માં સ્નાતકની ડિગ્રી મેળવી હતી, 2004માં અનુસ્નાતકની ડિગ્રી મેળવી હતી અને 2009માં પીએચ. ડી. પૂર્ણ કરી હતી. તેમના મહાનિબંધ, એ કન્સ્ટ્રેઇનટ સોલ્વર ફોર સોફ્ટવેર એન્જિનિયરિંગઃ ફાઇન્ડિંગ મોડલ્સ એન્ડ કોર ઓફ લાર્જ રીલેશ્નલ સ્પેસિફિકેશન્સની દેખરેખ ડેનિયલ જેક્સન દ્વારા કરવામાં આવી હતી. 2014 માં યુનિવર્સિટી ઓફ વોશિંગ્ટનમાં સહાયક પ્રોફેસર બનતા પહેલા તેમણે 2008 થી 2014 સુધી આઇબીએમ રિસર્ચ, લોજિકબ્લોક્સ અને યુનિવર્સિટી ઓફ કેલિફોર્નિયા, બર્કલે માટે સંશોધક તરીકે કામ કર્યું હતું. તેણીને 2018 માં સહયોગી પ્રોફેસર તરીકે બઢતી આપવામાં આવી હતી, અને 2021 માં એમેઝોન વેબ સેવાઓ સાથે જોડાણ ઉમેર્યું હતું. "વધુ સરળતાથી વધુ સારું સોફ્ટવેર બનાવવામાં મદદ કરવા માટે સાધનો અને પધ્ધતિઓ વિકસાવવા પરના તેમના કાર્ય માટે", માન્યતા ટોરલાક 2016 માં જુનિયર ડહલ-નાયગાર્ડ પુરસ્કારની વિજેતા હતી. તેઓ એસીએમ સિપ્લાન રોબિન મિલનર યંગ રિસર્ચર એવોર્ડના 2021ના વિજેતા હતા, જેમણે તેમને "સ્વચાલિત ચકાસણીના ક્ષેત્રમાં અગ્રણી" તરીકે માન્યતા આપી હતી. સંદર્ભો બાહ્ય કડીઓ હોમ પેજ જન્મ ગુમ થયેલું વર્ષ (જીવંત લોકો) જીવંત લોકો અમેરિકન કમ્પ્યુટર વૈજ્ઞાનિકો અમેરિકન મહિલા કમ્પ્યુટર વૈજ્ઞાનિકો મેસેચ્યુસેટ્સ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી ભૂતપૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી ઓફ વોશિંગ્ટન ફેકલ્ટી ડહલ-નાયગાર્ડ પુરસ્કાર