Marta Kwiatkowska
مارتا زوفیا کویاٹکوسکا برطانیہ میں مقیم ایک پولینڈ کی نظریاتی کمپیوٹر سائنسدان ہیں۔ کویاٹکوسکا آکسفورڈ یونیورسٹی، انگلینڈ کے شعبہ کمپیوٹر سائنس میں کمپیوٹنگ سسٹمز کے پروفیسر اور ٹرینیٹی کالج، آکسفورڈ کے فیلو ہیں۔ اس کی تحقیق محفوظ، محفوظ، قابل اعتماد، بروقت اور وسائل سے موثر آپریشن کی ضمانت کے لیے کمپیوٹنگ سسٹم کے لیے ماڈلنگ اور خودکار تصدیق کی تکنیکوں کو تیار کرنے پر مرکوز ہے۔ ایجوکیشن کویاٹکوسکا نے پولینڈ کے کراکو میں جاگیلونین یونیورسٹی سے کمپیوٹر سائنس میں بیچلر آف سائنس اور ماسٹر آف سائنس کی ڈگریاں حاصل کیں۔ انہوں نے 1989 میں یونیورسٹی آف لیسٹر سے کمپیوٹر سائنس میں پی ایچ ڈی حاصل کی۔ کیریئر اور تحقیق پی ایچ ڈی حاصل کرنے کے بعد، کویاٹکوسکا جاگیلونین یونیورسٹی، کراکو، پولینڈ (1980-1988) میں اسسٹنٹ پروفیسر تھیں ؛ یونیورسٹی آف لیسٹر میں ریسرچ اسکالر اور کمپیوٹر سائنس میں لیکچرر (1984-1994) ؛ اور کمپیوٹر سائنس میں لیکچرر، سیمنٹکس فار کنکرنسی میں ریڈر، اور برمنگھم یونیورسٹی میں کمپیوٹر سائنس کی پروفیسر (1984-2007)۔ 2007 میں آکسفورڈ یونیورسٹی میں شمولیت اختیار کرتے ہوئے، کویاٹکوسکا شعبہ کمپیوٹر سائنس میں پہلی خاتون پروفیسر تھیں اور اب خودکار تصدیق تحقیقی تھیم کی سربراہ ہیں۔ کویاٹکوسکا کی تحقیق پیچیدہ نظاموں کے لیے ماڈل اور تجزیہ کے طریقے تیار کرتی ہے، جیسا کہ کمپیوٹر نیٹ ورک، حیاتیاتی حیاتیات اور الیکٹرانک آلات میں پایا جاتا ہے۔ کویاٹکوسکا نے PRISM ممکنہ ماڈل چیکر کی ترقی کی قیادت کی۔ PRISM کو 79,000 سے زیادہ بار ڈاؤن لوڈ کیا گیا ہے اور PRISM کا استعمال کرتے ہوئے بیرونی تحقیقی ٹیموں کے 400 سے زیادہ مقالے ہیں (جنوری 2021 تک)۔ بین الاقوامی منظر نامے پر تصدیق میں ممکنہ اور مقداری طریقوں کی ترقی میں معاون، کویاٹکوسکا کا حالیہ کام مشین لرننگ اور اے آئی کے لیے حفاظت اور مضبوطی پر توجہ کے ساتھ مقداری وضاحتیں سے ترکیب کو شامل کرتا ہے۔ گلوبل پارٹنرشپ آن آرٹیفیشل انٹیلی جنس (جی پی اے آئی) 'ذمہ دار اے آئی ورکنگ گروپ'، اور رائل سوسائٹی کے 'ڈیجیٹل ٹیکنالوجی اینڈ دی پلینٹ ورکنگ گروپ' کے رکن، کویاٹکوسکا قابل اعتماد اے آئی کو ذمہ دارانہ طور پر اپنانے کی وکالت کرتے ہیں۔ آکس ڈبلیو او سی ایس کے ایک سینئر ممبر کے طور پر، پرسپکٹی ویمین ان ٹیک سمٹ میں شراکت دار اور سفریج سائنس ایوارڈ (2016) کے مشیر کے طور پر، کویاٹکوسکا خواتین کو سائنس میں کیریئر بنانے کی ترغیب دیتی ہے۔ کویاٹکوسکا انفارمیشن اینڈ کمپیوٹیشن، سسٹم ڈیزائن میں رسمی طریقے، کمپیوٹر سائنس میں منطقی طریقے، سائنس آف کمپیوٹر پروگرامنگ اور رائل سوسائٹی کے اوپن سائنس کے ادارتی بورڈوں میں خدمات انجام دیتا ہے۔ موجودہ پروجیکٹس FUN2MODEL: ایک یورپی ریسرچ کونسل (ERC) ایڈوانسڈ گرانٹ، ڈیپ لرننگ (2019-2024) کے لیے فنکشن پر مبنی ٹو موڈل پر مبنی خودکار ممکنہ استدلال سے۔ موبائل خود مختاری: مستقبل کی وسیع تر ٹیکنالوجی کو فعال کرنا (2015-2021)، ایک انجینئرنگ اینڈ فزیکل سائنسز ریسرچ کونسل (EPSRC) پروگرام گرانٹ (Co-I)۔ منتخب گفتگو اور لیکچرز 'ڈیٹا رچ ورلڈ کے لیے ممکنہ ماڈل چیکنگ' بی سی ایس 2020 لولیس لیکچر، آن لائن ایونٹ، مئی 2021۔ علم کی نمائندگی اور استدلال کے اصولوں پر کانفرنس، (کے آر 2020)، آن لائن ایونٹ، ستمبر 2020 'اسٹریٹجک توازن پر مبنی فیصلہ سازی کے لیے ممکنہ ماڈل کی جانچ'۔ 'خود چلانے والی کار پر کب بھروسہ کیا جائے۔'-ملنر ایوارڈ پرائز لیکچر، نومبر 2018۔ 'روبوٹ پر کب بھروسہ کیا جائے'-30 مئی 2017 کو ہی فیسٹیول ٹاک۔ 'ماڈل چیکنگ اینڈ اسٹریٹجی سنتھسیس فار اسٹوچسٹک گیمز: فرام تھیوری ٹو پریکٹس'-سائمنز انسٹی ٹیوٹ فار دی تھیوری آف کمپیوٹنگ، یو سی برکلے، اکتوبر 2016 میں مدعو لیکچر۔ 'موبائل آٹونومس روبوٹس'-انٹیلسیس، ستمبر 2016 میں مدعو لیکچر۔ ایوارڈز اور اعزاز فیلو آف دی یورپین لیبارٹری فار لرننگ اینڈ انٹیلیجنٹ سسٹمز (ELLIS سوسائٹی)، 2020۔ امکانی اور مقداری تصدیق میں ان کی تحقیق کے لیے بی سی ایس اڈا لویلس میڈل سے نوازا گیا۔ 2001 سے انہوں نے انتہائی بااثر ممکنہ ماڈل چیکر PRISM '، 2019 کی ترقی کی قیادت کی ہے۔ رائل سوسائٹی کے فیلو، (ایف آر ایس)، 2019۔ رائل سوسائٹی ملنر ایوارڈ کی پہلی خاتون فاتح بن گئیں 'اسٹوچسٹک اور مقداری ماڈل چیکنگ کی نظریاتی اور عملی ترقی میں ان کی شراکت'، 2018 کے اعتراف میں۔ مشترکہ طور پر ایچ وی سی 2016 ایوارڈ ان کی 'ممکنہ ماڈل کی جانچ میں شراکت اور، زیادہ عام طور پر، رسمی تصدیق کے لیے'، 2016 سے نوازا گیا۔ کویاٹکوسکا کو 2014 میں کے ٹی ایچ رائل انسٹی ٹیوٹ آف ٹیکنالوجی میں اعزازی ڈاکٹریٹ سے نوازا گیا، اور وہ اے سی ایم کے فیلو، ای اے ٹی سی ایس کے فیلو، بی سی ایس کے فیلو، اکیڈمیا یوروپیا کے رکن، بیرون ملک پولینڈ کی سوسائٹی آف آرٹس اینڈ سائنسز کے فیلو، اور امریکن اکیڈمی آف آرٹس اینڈ سائنسز کے رکن ہیں۔ ذاتی زندگی کویاٹکوسکا اپنے شوہر کے ساتھ آکسفورڈ میں رہتی ہیں، جن سے ان کی ایک بیٹی ہے۔ حوالہ جات بیرونی روابط کویاٹکوسکا کا آکسفورڈ یونیورسٹی کا ہوم پیج کویاٹکوسکا کا ٹرینیٹی کالج ہوم پیج زندہ لوگ جاگیلونین یونیورسٹی کے سابق طلباء جاگیلونین یونیورسٹی کے تعلیمی عملہ برمنگھم یونیورسٹی کے لیسٹر یونیورسٹی کے اکیڈمکس کے شعبہ کمپیوٹر سائنس کے ممبران، آکسفورڈ یونیورسٹی کے ممبران اکیڈمیا یوروپیا فیلوز آف ٹرینیٹی کالج، آکسفورڈ برطانوی کمپیوٹر سائنس دان برطانوی خواتین کمپیوٹر سائنس دان پولینڈ کی نسل کے برطانوی لوگ رسمی طریقے لوگ خواتین منطق پولینڈ کی خواتین کمپیوٹر سائنس دان پولینڈ کی خواتین ماہرین تعلیم ایسوسی ایشن کے فیلوز برائے کمپیوٹنگ مشینری فیلوز آف دی رائل سوسائٹی 1957 پیدائشیں رائل سوسائٹی کی خواتین فیلوز امریکن اکیڈمی آف آرٹس اینڈ سائنسز کے فیلوز