Marta Kwiatkowska
मार्ता ज़ोफिया क्वियात्कोव्स्का यूनाइटेड किंगडम में स्थित एक पोलिश सैद्धांतिक कंप्यूटर वैज्ञानिक हैं। क्वियात्कोवस्का ऑक्सफोर्ड विश्वविद्यालय, इंग्लैंड में कंप्यूटर विज्ञान विभाग में कम्प्यूटिंग सिस्टम के प्रोफेसर हैं और ट्रिनिटी कॉलेज, ऑक्सफोर्ड के फेलो हैं। उनका शोध सुरक्षित, सुरक्षित, विश्वसनीय, समय पर और संसाधन-कुशल संचालन की गारंटी देने के लिए कंप्यूटिंग प्रणालियों के लिए मॉडलिंग और स्वचालित सत्यापन तकनीकों को विकसित करने पर केंद्रित है। शिक्षा क्वियात्कोव्स्का ने पोलैंड के क्राको में जगिलोनियन विश्वविद्यालय से विशिष्ट सुम्मा कम लाउड के साथ कंप्यूटर विज्ञान में विज्ञान स्नातक और मास्टर ऑफ साइंस की डिग्री प्राप्त की। उन्होंने 1989 में लीसेस्टर विश्वविद्यालय से कंप्यूटर विज्ञान में पीएचडी प्राप्त की। करियर और अनुसंधान अपनी पीएचडी प्राप्त करने के बाद, क्वियात्कोव्स्का जगिलोनियन विश्वविद्यालय, क्राको, पोलैंड (1980-1988) में सहायक प्रोफेसर थीं; लीसेस्टर विश्वविद्यालय (1984-1994) में कंप्यूटर विज्ञान में शोध विद्वान और व्याख्याता; और कंप्यूटर विज्ञान में व्याख्याता, समरूपता के लिए शब्दार्थ में पाठक, और बर्मिंघम विश्वविद्यालय (1984-2007) में कंप्यूटर विज्ञान के प्रोफेसर थे। 2007 में ऑक्सफोर्ड विश्वविद्यालय में शामिल होने के बाद, क्वियातकोव्स्का कंप्यूटर विज्ञान विभाग में पहली महिला प्रोफेसर थीं और अब स्वचालित सत्यापन अनुसंधान विषय की प्रमुख हैं। क्वियात्कोव्स्का का शोध जटिल प्रणालियों के लिए मॉडल और विश्लेषण विधियों को विकसित करता है, जैसा कि कंप्यूटर नेटवर्क, जैविक जीवों और इलेक्ट्रॉनिक उपकरणों में पाया जाता है। क्वियात्कोव्स्का ने पी. आर. आई. एस. एम. संभावित मॉडल जाँचक के विकास का नेतृत्व किया; पी. आर. आई. एस. एम. को 79,000 से अधिक बार डाउनलोड किया गया है और पी. आर. आई. एस. एम. (जनवरी 2021 तक) का उपयोग करते हुए बाहरी शोध दलों द्वारा 400 से अधिक शोध पत्र हैं। अंतर्राष्ट्रीय परिदृश्य पर सत्यापन में संभावित और मात्रात्मक तरीकों के विकास में सहायक, क्वियात्कोव्स्का का हालिया काम मशीन लर्निंग और एआई के लिए सुरक्षा और मजबूती पर ध्यान देने के साथ मात्रात्मक विनिर्देशों से संश्लेषण को शामिल करता है। आर्टिफिशियल इंटेलिजेंस (जी. पी. ए. आई.) 'जिम्मेदार ए. आई. कार्य समूह' और रॉयल सोसाइटी के 'डिजिटल टेक्नोलॉजी एंड द प्लैनेट वर्किंग ग्रुप' पर वैश्विक साझेदारी के सदस्य, क्वियातकोव्स्का विश्वसनीय ए. आई. को जिम्मेदार तरीके से अपनाने की वकालत करते हैं। ऑक्सवोसीएस के एक वरिष्ठ सदस्य के रूप में, पर्सपेक्टीवी वीमेन इन टेक शिखर सम्मेलन में योगदानकर्ता और मताधिकार विज्ञान पुरस्कार (2016) के सलाहकार के रूप में, क्वियातकोव्स्का महिलाओं को विज्ञान में करियर बनाने के लिए प्रोत्साहित करती हैं। क्वियात्कोवस्का सूचना और संगणना, सिस्टम डिजाइन में औपचारिक तरीके, कंप्यूटर विज्ञान में तार्किक तरीके, कंप्यूटर प्रोग्रामिंग विज्ञान और रॉयल सोसाइटी के मुक्त विज्ञान के संपादकीय बोर्डों में कार्य करता है। वर्तमान परियोजनाएं FUN2MODEL: DEEP लर्निंग (2019-2024) के लिए FUNction-आधारित से MOdel-आधारित स्वचालित संभावित तर्क, एक यूरोपीय अनुसंधान परिषद (ERC) उन्नत अनुदान। मोबाइल स्वायत्तताः भविष्य की व्यापक प्रौद्योगिकी को सक्षम बनाना (2015-2021), एक इंजीनियरिंग और भौतिक विज्ञान अनुसंधान परिषद (EPSRC) कार्यक्रम अनुदान (सह-I)। चयनित वार्ता और व्याख्यान 'डेटा-रिच वर्ल्ड के लिए संभावित मॉडल जाँच' बी. सी. एस. 2020 लवलेस व्याख्यान, ऑनलाइन कार्यक्रम, मई 2021। 'रणनीतिक संतुलन-आधारित निर्णय लेने के लिए संभावित मॉडल जाँच' ज्ञान प्रतिनिधित्व और तर्क के सिद्धांतों पर सम्मेलन, (केआर 2020), ऑनलाइन कार्यक्रम, सितंबर 2020। 'सेल्फ-ड्राइविंग कार पर कब भरोसा करें।'-मिलनर पुरस्कार पुरस्कार व्याख्यान, नवंबर 2018। 'रोबोट पर कब भरोसा किया जाए'-30 मई 2017 को हे फेस्टिवल टॉक। 'यादृच्छिक खेलों के लिए मॉडल जाँच और रणनीति संश्लेषणः सिद्धांत से अभ्यास तक'-साइमन्स इंस्टीट्यूट फॉर द थ्योरी ऑफ कम्प्यूटिंग, यू. सी. बर्कले, अक्टूबर 2016 में आमंत्रित व्याख्यान। 'मोबाइल ऑटोनॉमस रोबोट्स'-सितंबर 2016 में इंटेलिसिस में आमंत्रित व्याख्यान। यूरोपियन लेबोरेटरी फॉर लर्निंग एंड इंटेलीजेंट सिस्टम्स (ईएलएलआईएस सोसाइटी), 2020 के फेलो को पुरस्कार और सम्मान। संभाव्यता और मात्रात्मक सत्यापन में उनके शोध के लिए उन्हें बी. सी. एस. अदा लवलेस पदक से सम्मानित किया गया। 2001 से उन्होंने अत्यधिक प्रभावशाली संभावित मॉडल चेकर प्रिज्म, 2019 के विकास का नेतृत्व किया है। रॉयल सोसाइटी के अध्येता, (एफ. आर. एस.), 2019। 'स्टोकेस्टिक और मात्रात्मक मॉडल जाँच के सैद्धांतिक और व्यावहारिक विकास में उनके योगदान', 2018 की मान्यता में रॉयल सोसाइटी मिलनर पुरस्कार की पहली महिला विजेता बनीं। संयुक्त रूप से एच. वी. सी. 2016 पुरस्कार से सम्मानित किया गया उनके 'संभावित मॉडल जाँच में योगदान और, अधिक सामान्य रूप से, औपचारिक सत्यापन के लिए', 2016। क्वियात्कोव्स्का को 2014 में के. टी. एच. रॉयल इंस्टीट्यूट ऑफ टेक्नोलॉजी में मानद डॉक्टरेट की उपाधि से सम्मानित किया गया था, और वह ए. सी. एम. के फेलो, ई. ए. टी. सी. एस. के फेलो, बी. सी. एस. के फेलो, एकेडेमिया यूरोपिया के सदस्य, विदेश में पोलिश सोसाइटी ऑफ आर्ट्स एंड साइंसेज के फेलो और अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज के सदस्य हैं। निजी जीवन क्वियातकोव्स्का अपने पति के साथ ऑक्सफोर्ड में रहती हैं, जिनसे उनकी एक बेटी है। संदर्भ बाहरी लिंक क्वियात्कोवस्का के ऑक्सफोर्ड विश्वविद्यालय के होमपेज क्वियात्कोवस्का के ट्रिनिटी कॉलेज होमपेज जीवित लोग जगिलोनियन विश्वविद्यालय के पूर्व छात्र जगिलोनियन विश्वविद्यालय के अकादमिक कर्मचारी बर्मिंघम विश्वविद्यालय के लीसेस्टर विश्वविद्यालय के शिक्षाविद कंप्यूटर विज्ञान विभाग के सदस्य, ऑक्सफोर्ड विश्वविद्यालय के शिक्षाविद यूरोपिया फेलो ऑफ ट्रिनिटी कॉलेज, ऑक्सफोर्ड ब्रिटिश कंप्यूटर वैज्ञानिक पोलिश मूल की ब्रिटिश महिला कंप्यूटर वैज्ञानिक औपचारिक तरीके लोग महिला तर्कशास्त्री पोलिश महिला कंप्यूटर वैज्ञानिक पोलिश महिला शिक्षाविद फेलो फॉर द एसोसिएशन फॉर कम्प्यूटिंग मशीनरी फेलो ऑफ द रॉयल सोसाइटी 1957 जन्म रॉयल सोसाइटी की महिला अध्येता फेलो ऑफ द अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज