Marta Kwiatkowska
মার্তা জোফিয়া কুইয়াটকোভস্কা যুক্তরাজ্য ভিত্তিক একজন পোলিশ তাত্ত্বিক কম্পিউটার বিজ্ঞানী। কুইয়াটকোভস্কা ইংল্যান্ডের অক্সফোর্ড বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞান বিভাগের কম্পিউটিং সিস্টেমের অধ্যাপক এবং অক্সফোর্ডের ট্রিনিটি কলেজের ফেলো। তাঁর গবেষণা নিরাপদ, সুরক্ষিত, নির্ভরযোগ্য, সময়োপযোগী এবং সম্পদ-দক্ষ অপারেশন নিশ্চিত করার জন্য কম্পিউটিং সিস্টেমের জন্য মডেলিং এবং স্বয়ংক্রিয় যাচাইকরণ কৌশল বিকাশের উপর দৃষ্টি নিবদ্ধ করে। শিক্ষা কুইয়াটকোভস্কা পোল্যান্ডের ক্রাকোতে জাগিলোনিয়ান বিশ্ববিদ্যালয় থেকে কম্পিউটার সায়েন্সে ব্যাচেলর অফ সায়েন্স এবং মাস্টার অফ সায়েন্স ডিগ্রি অর্জন করেন। তিনি 1989 সালে লিসেস্টার বিশ্ববিদ্যালয় থেকে কম্পিউটার সায়েন্সে পিএইচডি অর্জন করেন। কর্মজীবন ও গবেষণা তার পিএইচডি অর্জনের পরে, কুইয়াটকোভস্কা পোল্যান্ডের ক্রাকোতে জাগিলোনিয়ান বিশ্ববিদ্যালয়ের সহকারী অধ্যাপক ছিলেন (1980-1988); লিসেস্টার বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞানের গবেষক পণ্ডিত এবং প্রভাষক (1984-1994); এবং কম্পিউটার বিজ্ঞানের প্রভাষক, সামঞ্জস্যের জন্য শব্দার্থবিজ্ঞানের পাঠক এবং বার্মিংহাম বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞানের অধ্যাপক (1984-2007)। 2007 সালে অক্সফোর্ড বিশ্ববিদ্যালয়ে যোগদান করে, কুইয়াটকোভস্কা কম্পিউটার বিজ্ঞান বিভাগের প্রথম মহিলা অধ্যাপক ছিলেন এবং এখন স্বয়ংক্রিয় যাচাইকরণ গবেষণা থিমের প্রধান। কুইয়াটকোভস্কার গবেষণা জটিল ব্যবস্থার জন্য মডেল এবং বিশ্লেষণ পদ্ধতি তৈরি করে, যা কম্পিউটার নেটওয়ার্ক, জৈবিক জীব এবং বৈদ্যুতিন যন্ত্রগুলিতে পাওয়া যায়। কুইয়াটকোভস্কা পি. আর. আই. এস. এম সম্ভাব্য মডেল চেকারের বিকাশের নেতৃত্ব দিয়েছেন; পি. আর. আই. এস. এম 79,000 বার ডাউনলোড করা হয়েছে এবং পি. আর. আই. এস. এম ব্যবহার করে বহিরাগত গবেষণা দলগুলির দ্বারা 400 টিরও বেশি গবেষণাপত্র রয়েছে (জানুয়ারী 2021 অনুযায়ী)। আন্তর্জাতিক প্রেক্ষাপটে যাচাইকরণের ক্ষেত্রে সম্ভাব্য এবং পরিমাণগত পদ্ধতির বিকাশে সহায়ক, কুইয়াটকোভস্কার সাম্প্রতিক কাজটি মেশিন লার্নিং এবং এআই-এর জন্য নিরাপত্তা এবং মজবুততার উপর দৃষ্টি নিবদ্ধ করে পরিমাণগত নির্দিষ্টকরণ থেকে সংশ্লেষণকে অন্তর্ভুক্ত করে। গ্লোবাল পার্টনারশিপ অন আর্টিফিশিয়াল ইন্টেলিজেন্স (জিপিএআই) 'রেসপন্সিবল এআই ওয়ার্কিং গ্রুপ' এবং রয়েল সোসাইটির 'ডিজিটাল টেকনোলজি অ্যান্ড দ্য প্ল্যানেট ওয়ার্কিং গ্রুপ'-এর একজন সদস্য, কুইয়াটকোভস্কা বিশ্বাসযোগ্য এআই-এর দায়িত্বশীল গ্রহণকে সমর্থন করেন। অক্সওসিএস-এর একজন প্রবীণ সদস্য হিসাবে, পার্সপেক্টিউই উইমেন ইন টেক সামিটের অবদানকারী এবং সাফরেজ সায়েন্স অ্যাওয়ার্ডের (2016) উপদেষ্টা হিসাবে, কুইয়াটকোভস্কা মহিলাদের বিজ্ঞানে ক্যারিয়ার গড়তে উৎসাহিত করেন। কুইয়াটকোভস্কা তথ্য ও গণনা, সিস্টেম ডিজাইনের আনুষ্ঠানিক পদ্ধতি, কম্পিউটার বিজ্ঞানের যৌক্তিক পদ্ধতি, কম্পিউটার প্রোগ্রামিং বিজ্ঞান এবং রয়্যাল সোসাইটির মুক্ত বিজ্ঞানের সম্পাদকীয় বোর্ডে কাজ করেন। বর্তমান প্রকল্প FUN2MODEL: একটি ইউরোপীয় রিসার্চ কাউন্সিল (ERC) অ্যাডভান্সড গ্রান্ট, ডিপ লার্নিং (2019-2024)-এর জন্য FUNction-ভিত্তিক থেকে MOdel-ভিত্তিক স্বয়ংক্রিয় সম্ভাবনাময় যুক্তি। মোবাইল স্বায়ত্ত্বশাসনঃ ভবিষ্যতের একটি বিস্তৃত প্রযুক্তি (2015-2021), একটি ইঞ্জিনিয়ারিং অ্যান্ড ফিজিক্যাল সায়েন্সেস রিসার্চ কাউন্সিল (ইপিএসআরসি) প্রোগ্রাম অনুদান (কো-আই) সক্ষম করা। নির্বাচিত আলোচনা ও বক্তৃতা 'প্রোবেবিলিস্টিক মডেল চেকিং ফর দ্য ডেটা-রিচ ওয়ার্ল্ড' বিসিএস 2020 লাভলেস লেকচার, অনলাইন ইভেন্ট, মে 2021। 'কৌশলগত ভারসাম্য-ভিত্তিক সিদ্ধান্ত গ্রহণের জন্য সম্ভাবনাময় মডেল পরীক্ষা' জ্ঞানের প্রতিনিধিত্ব এবং যুক্তির নীতি সম্পর্কিত সম্মেলন, (কেআর 2020), অনলাইন ইভেন্ট, সেপ্টেম্বর 2020। 'স্বচালিত গাড়িকে কখন বিশ্বাস করা যায়।'-মিলনার পুরস্কার পুরস্কার বক্তৃতা, নভেম্বর 2018। 'কখন একটি রোবটকে বিশ্বাস করতে হবে'-30 মে 2017-এ হে ফেস্টিভাল টক। 'মডেল চেকিং অ্যান্ড স্ট্র্যাটেজি সিন্থেসিস ফর স্টোকাস্টিক গেমসঃ ফ্রম থিওরি টু প্র্যাকটিস'-সাইমনস ইনস্টিটিউট ফর দ্য থিওরি অফ কম্পিউটিং, ইউসি বার্কলে, অক্টোবর 2016-এ আমন্ত্রিত বক্তৃতা। 'মোবাইল স্বায়ত্তশাসিত রোবট'-ইন্টেলিসিস-এ আমন্ত্রিত বক্তৃতা, সেপ্টেম্বর 2016। ইউরোপীয় ল্যাবরেটরি ফর লার্নিং অ্যান্ড ইন্টেলিজেন্ট সিস্টেমস (এলিস সোসাইটি), 2020-এর ফেলোকে পুরস্কার ও সম্মান প্রদান করে। সম্ভাব্যতা এবং পরিমাণগত যাচাইকরণে তাঁর গবেষণার জন্য তিনি বিসিএস অ্যাডা লাভলেস পদক লাভ করেন। 2001 সাল থেকে তিনি অত্যন্ত প্রভাবশালী সম্ভাবনাময় মডেল চেকার 'প্রিজম', 2019-এর বিকাশের নেতৃত্ব দিয়েছেন। ফেলো অফ দ্য রয়্যাল সোসাইটি, (এফ. আর. এস), 2019। 2018 সালে 'স্টোকাস্টিক এবং কোয়ান্টিটেটিভ মডেল চেকিংয়ের তাত্ত্বিক এবং ব্যবহারিক বিকাশে তাঁর অবদানের' স্বীকৃতিস্বরূপ রয়্যাল সোসাইটি মিলনার অ্যাওয়ার্ডের প্রথম মহিলা বিজয়ী হন। 'সম্ভাবনাময় মডেল চেকিং এবং আরও সাধারণভাবে, আনুষ্ঠানিক যাচাইকরণে অবদানের' জন্য যৌথভাবে এইচভিসি 2016 পুরস্কার প্রদান করা হয়। কুইয়াটকোভস্কা 2014 সালে কেটিএইচ রয়্যাল ইনস্টিটিউট অফ টেকনোলজিতে সম্মানসূচক ডক্টরেট ডিগ্রি লাভ করেন এবং তিনি এসিএম-এর ফেলো, ইএটিসিএস-এর ফেলো, বিসিএস-এর ফেলো, একাডেমিয়া ইউরোপিয়ার সদস্য, বিদেশে পোলিশ সোসাইটি অফ আর্টস অ্যান্ড সায়েন্সেসের ফেলো এবং আমেরিকান একাডেমি অফ আর্টস অ্যান্ড সায়েন্সেসের সদস্য। ব্যক্তিগত জীবন কুইয়াটকোভস্কা তার স্বামীর সাথে অক্সফোর্ডে থাকেন, যার সাথে তার একটি কন্যা রয়েছে। রেফারেন্স বাহ্যিক লিঙ্ক কুইয়াটকোভস্কার অক্সফোর্ড বিশ্ববিদ্যালয়ের হোমপেজ কুইয়াটকোভস্কার ট্রিনিটি কলেজের হোমপেজ জীবিত মানুষ জাগিলোনিয়ান বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী জাগিলোনিয়ান বিশ্ববিদ্যালয়ের একাডেমিক কর্মী বার্মিংহাম বিশ্ববিদ্যালয়ের লিসেস্টার বিশ্ববিদ্যালয়ের একাডেমিকস কম্পিউটার বিজ্ঞান বিভাগের সদস্য, অক্সফোর্ড বিশ্ববিদ্যালয়ের একাডেমিয়া ইউরোপিয়া ফেলো অফ ট্রিনিটি কলেজ, অক্সফোর্ড ব্রিটিশ কম্পিউটার বিজ্ঞানী ব্রিটিশ মহিলা কম্পিউটার বিজ্ঞানীরা পোলিশ বংশোদ্ভূত আনুষ্ঠানিক পদ্ধতি মানুষ মহিলা যুক্তিবিদ পোলিশ মহিলা কম্পিউটার বিজ্ঞানী পোলিশ মহিলা শিক্ষাবিদ ফেলো ফর কম্পিউটিং মেশিনারি ফেলো অফ দ্য রয়্যাল সোসাইটি 1957 জন্ম রয়্যাল সোসাইটির মহিলা ফেলো আমেরিকান একাডেমি অফ আর্টস অ্যান্ড সায়েন্সেসের ফেলো