Emina Torlak
এমিনা টরলাক একজন আমেরিকান কম্পিউটার বিজ্ঞানী এবং সফ্টওয়্যার ইঞ্জিনিয়ার যার গবেষণা সফ্টওয়্যার যাচাইকরণ, প্রোগ্রাম সংশ্লেষণ এবং ডোমেন-নির্দিষ্ট ভাষায় এই কৌশলগুলির সংহতকরণের সাথে সম্পর্কিত। তিনি ওয়াশিংটন বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞানের সহযোগী অধ্যাপক এবং অ্যামাজন ওয়েব সার্ভিসেসের একজন প্রবীণ প্রধান বিজ্ঞানী। শিক্ষা ও কর্মজীবন টরলাক ম্যাসাচুসেটস ইনস্টিটিউট অফ টেকনোলজিতে কম্পিউটার সায়েন্সে শিক্ষিত হন, 2003 সালে স্নাতক ডিগ্রি অর্জন করেন, 2004 সালে স্নাতকোত্তর ডিগ্রি অর্জন করেন এবং 2009 সালে পিএইচডি সম্পন্ন করেন। তাঁর গবেষণামূলক প্রবন্ধ, সফ্টওয়্যার ইঞ্জিনিয়ারিংয়ের জন্য একটি সীমাবদ্ধতা সমাধানকারীঃ বড় সম্পর্কিত নির্দিষ্টকরণের মডেল এবং কোর খুঁজে বের করা, ড্যানিয়েল জ্যাকসন দ্বারা তত্ত্বাবধান করা হয়েছিল। 2014 সালে ওয়াশিংটন বিশ্ববিদ্যালয়ে সহকারী অধ্যাপক হওয়ার আগে তিনি 2008 থেকে 2014 সাল পর্যন্ত আইবিএম রিসার্চ, লজিকব্লক্স এবং ইউনিভার্সিটি অফ ক্যালিফোর্নিয়া, বার্কলেতে গবেষক হিসাবে কাজ করেছিলেন। তিনি 2018 সালে সহযোগী অধ্যাপক পদে উন্নীত হন এবং 2021 সালে অ্যামাজন ওয়েব সার্ভিসেসের সাথে একটি অনুমোদন যোগ করেন। স্বীকৃতি টরলাক 2016 সালে জুনিয়র ডাল-নাইগার্ড পুরস্কারের বিজয়ী ছিলেন, "আরও সহজে আরও ভাল সফ্টওয়্যার তৈরিতে সহায়তা করার জন্য সরঞ্জাম এবং পদ্ধতি বিকাশে তাঁর কাজের জন্য"। তিনি 2021 সালে এসিএম সিপ্লান রবিন মিলনার ইয়ং রিসার্চার অ্যাওয়ার্ডের বিজয়ী ছিলেন, তাকে "স্বয়ংক্রিয় যাচাইকরণের ক্ষেত্রে একজন নেতা" হিসাবে স্বীকৃতি দিয়েছিলেন। তথ্যসূত্র বাইরের লিঙ্ক হোম পেজ জন্মের বছর নিখোঁজ (জীবিত মানুষ) জীবিত মানুষ মার্কিন কম্পিউটার বিজ্ঞানী মার্কিন মহিলা কম্পিউটার বিজ্ঞানী ম্যাসাচুসেটস ইনস্টিটিউট অফ টেকনোলজির প্রাক্তন শিক্ষার্থী ওয়াশিংটন বিশ্ববিদ্যালয় অনুষদ ডাল-নাইগার্ড পুরস্কার