Emina Torlak
ایمینا ٹورلک ایک امریکی کمپیوٹر سائنسدان اور سافٹ ویئر انجینئر ہیں جن کی تحقیق سافٹ ویئر کی تصدیق، پروگرام کی ترکیب، اور ان تکنیکوں کو ڈومین مخصوص زبانوں میں ضم کرنے سے متعلق ہے۔ وہ واشنگٹن یونیورسٹی میں کمپیوٹر سائنس کی ایسوسی ایٹ پروفیسر اور ایمیزون ویب سروسز کی سینئر پرنسپل سائنسدان ہیں۔ تعلیم اور کیریئر ٹورلک نے میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی میں کمپیوٹر سائنس میں تعلیم حاصل کی، 2003 میں بیچلر کی ڈگری حاصل کی، 2004 میں ماسٹر کی ڈگری حاصل کی، اور 2009 میں پی ایچ ڈی مکمل کی۔ اس کا مقالہ، سافٹ ویئر انجینئرنگ کے لیے ایک رکاوٹ حل کرنے والا: بڑے رشتہ دار وضاحتیں کے ماڈل اور کور تلاش کرنا، ڈینیل جیکسن کی نگرانی میں تھا۔ انہوں نے 2014 میں واشنگٹن یونیورسٹی میں اسسٹنٹ پروفیسر بننے سے پہلے 2008 سے 2014 تک آئی بی ایم ریسرچ، لاجک بلاکس، اور یونیورسٹی آف کیلیفورنیا، برکلے کے لیے محقق کے طور پر کام کیا۔ انہیں 2018 میں ایسوسی ایٹ پروفیسر کے عہدے پر ترقی دی گئی، اور 2021 میں ایمیزون ویب سروسز کے ساتھ وابستگی شامل کی گئی۔ ریکگنیشن ٹورلک 2016 میں جونیئر ڈہل-نیگارڈ انعام کی فاتح تھیں، "بہتر سافٹ ویئر کو زیادہ آسانی سے بنانے میں مدد کے لیے ٹولز اور طریقہ کار تیار کرنے پر ان کے کام کے لیے"۔ وہ اے سی ایم سگپلین رابن ملنر ینگ ریسرچر ایوارڈ کی 2021 کی فاتح تھیں، جس نے انہیں "خودکار تصدیق کے شعبے میں ایک رہنما" کے طور پر تسلیم کیا۔ حوالہ جات بیرونی روابط ہوم پیج گمشدہ پیدائش کا سال (زندہ لوگ) زندہ لوگ امریکی کمپیوٹر سائنسدان امریکی خواتین کمپیوٹر سائنسدان میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی سابق طالب علم یونیورسٹی آف واشنگٹن فیکلٹی ڈہل-نیگارڈ انعام