Marta Kwiatkowska
માર્ટા ઝોફિયા ક્વિયાત્કોવ્સ્કા યુનાઇટેડ કિંગડમમાં સ્થિત એક પોલિશ સૈદ્ધાંતિક કમ્પ્યુટર વૈજ્ઞાનિક છે. ક્વિયાત્કોવ્સ્કા ઇંગ્લેન્ડની ઓક્સફર્ડ યુનિવર્સિટીમાં કોમ્પ્યુટર સાયન્સ વિભાગમાં કમ્પ્યુટિંગ સિસ્ટમ્સના પ્રોફેસર છે અને ટ્રિનિટી કોલેજ, ઓક્સફર્ડના ફેલો છે. તેમનું સંશોધન સલામત, સુરક્ષિત, વિશ્વસનીય, સમયસર અને સંસાધન-કાર્યક્ષમ કામગીરીની બાંયધરી આપવા માટે કમ્પ્યુટિંગ સિસ્ટમ્સ માટે મોડેલિંગ અને સ્વચાલિત ચકાસણી તકનીકો વિકસાવવા પર કેન્દ્રિત છે. શિક્ષણ ક્વિયાત્કોવ્સ્કાએ પોલેન્ડના ક્રાકોમાં જગિલોનિયન યુનિવર્સિટીમાંથી વિશિષ્ટ સુમ્મા કમ લોડે સાથે કમ્પ્યુટર સાયન્સમાં બેચલર ઓફ સાયન્સ અને માસ્ટર ઓફ સાયન્સની ડિગ્રી મેળવી હતી. તેમણે 1989માં યુનિવર્સિટી ઓફ લેસ્ટરમાંથી કોમ્પ્યુટર સાયન્સમાં પીએચડી મેળવી હતી. કારકિર્દી અને સંશોધન તેણીની પીએચડી પ્રાપ્ત કર્યા પછી, ક્વિયાત્કોવ્સ્કા જગિલોનિયન યુનિવર્સિટી, ક્રાકો, પોલેન્ડ (1980-1988) ખાતે સહાયક પ્રોફેસર હતા; લિસેસ્ટર યુનિવર્સિટી ખાતે કમ્પ્યુટર સાયન્સમાં સંશોધન વિદ્વાન અને લેક્ચરર (1984-1994); અને કમ્પ્યુટર સાયન્સમાં લેક્ચરર, કોન્કરન્સી માટે સિમેન્ટિક્સમાં રીડર, અને બર્મિંગહામ યુનિવર્સિટી (1984-2007) ખાતે કમ્પ્યુટર સાયન્સના પ્રોફેસર હતા. 2007માં ઓક્સફર્ડ યુનિવર્સિટીમાં જોડાતાં, ક્વિયાત્કોવ્સ્કા કમ્પ્યુટર સાયન્સ વિભાગમાં પ્રથમ મહિલા પ્રોફેસર હતાં અને હવે ઓટોમેટેડ વેરિફિકેશન રિસર્ચ થીમનું નેતૃત્વ કરે છે. ક્વિયાત્કોવ્સ્કાનું સંશોધન કોમ્પ્યુટર નેટવર્ક, જૈવિક સજીવો અને ઇલેક્ટ્રોનિક ઉપકરણોમાં જોવા મળતી જટિલ પ્રણાલીઓ માટે નમૂનાઓ અને વિશ્લેષણ પદ્ધતિઓ વિકસાવે છે. ક્વિયાત્કોવ્સ્કાએ પ્રિઝમ પ્રોબેબિલિસ્ટિક મોડેલ ચેકરના વિકાસની આગેવાની લીધી; પ્રિઝમ 79,000 થી વધુ વખત ડાઉનલોડ કરવામાં આવ્યું છે અને પ્રિઝમ (જાન્યુઆરી 2021 મુજબ) નો ઉપયોગ કરીને બાહ્ય સંશોધન ટીમો દ્વારા 400 થી વધુ કાગળો છે. આંતરરાષ્ટ્રીય દ્રશ્ય પર ચકાસણીમાં સંભવિત અને માત્રાત્મક પદ્ધતિઓના વિકાસમાં સહાયક, ક્વિયાત્કોવ્સ્કાનું તાજેતરનું કાર્ય મશીન લર્નિંગ અને AI માટે સલામતી અને મજબૂતાઈ પર ધ્યાન કેન્દ્રિત કરીને માત્રાત્મક સ્પષ્ટીકરણોમાંથી સંશ્લેષણનો સમાવેશ કરે છે. ગ્લોબલ પાર્ટનરશિપ ઓન આર્ટિફિશિયલ ઇન્ટેલિજન્સ (GPAI) 'રિસ્પોન્સિબલ AI વર્કિંગ ગ્રુપ' અને રોયલ સોસાયટીના 'ડિજિટલ ટેક્નોલોજી એન્ડ ધ પ્લેનેટ વર્કિંગ ગ્રુપ' ના સભ્ય ક્વિયાતકોવ્સ્કા વિશ્વસનીય AIને જવાબદાર રીતે અપનાવવાની હિમાયત કરે છે. ઓક્સવોસીએસના વરિષ્ઠ સભ્ય તરીકે, પર્સ્પેક્ટીવી વિમેન ઇન ટેક શિખર સંમેલનમાં યોગદાન આપનાર અને મતાધિકાર વિજ્ઞાન પુરસ્કાર (2016) ના સલાહકાર તરીકે, ક્વિયાત્કોવ્સ્કા મહિલાઓને વિજ્ઞાનમાં કારકિર્દી બનાવવા માટે પ્રોત્સાહિત કરે છે. ક્વિયાત્કોવ્સ્કા માહિતી અને ગણતરી, સિસ્ટમ ડિઝાઇનમાં ઔપચારિક પદ્ધતિઓ, કમ્પ્યુટર વિજ્ઞાનમાં તાર્કિક પદ્ધતિઓ, કમ્પ્યુટર પ્રોગ્રામિંગનું વિજ્ઞાન અને રોયલ સોસાયટીના ઓપન સાયન્સના સંપાદકીય બોર્ડમાં સેવા આપે છે. વર્તમાન પ્રોજેક્ટ્સ FUN2MODEL: યુરોપિયન રિસર્ચ કાઉન્સિલ (ERC) એડવાન્સ્ડ ગ્રાન્ટ, ડીપ લર્નિંગ (2019-2024) માટે FUNction-આધારિત થી MOdel-આધારિત સ્વચાલિત સંભવિત તર્ક. મોબાઇલ સ્વાયત્તતાઃ ભવિષ્યની વ્યાપક ટેકનોલોજીને સક્ષમ કરવી (2015-2021), એક ઇજનેરી અને ભૌતિક વિજ્ઞાન સંશોધન પરિષદ (EPSRC) કાર્યક્રમ અનુદાન (સહ-I). પસંદગીના પ્રવચનો અને પ્રવચનો 'ડેટા-રિચ વર્લ્ડ માટે પ્રોબેબિલિસ્ટિક મોડલ ચેકિંગ' BCS 2020 લવલેસ વ્યાખ્યાન, ઓનલાઇન કાર્યક્રમ, મે 2021. 'વ્યૂહાત્મક સંતુલન આધારિત નિર્ણય લેવા માટે સંભવિત મોડલ ચેકિંગ' જ્ઞાન પ્રતિનિધિત્વ અને તર્કના સિદ્ધાંતો પર પરિષદ, (કેઆર 2020), ઓનલાઇન કાર્યક્રમ, સપ્ટેમ્બર 2020. 'સ્વ-ડ્રાઇવિંગ કાર પર ક્યારે વિશ્વાસ કરવો.'-મિલ્નર એવોર્ડ પ્રાઇઝ વ્યાખ્યાન, નવેમ્બર 2018. 'રોબોટ પર ક્યારે વિશ્વાસ કરવો'-30 મે 2017ના રોજ હે ફેસ્ટિવલ ટોક. 'મોડલ ચેકિંગ એન્ડ સ્ટ્રેટેજી સિન્થેસિસ ફોર સ્ટોકેસ્ટિક ગેમ્સઃ ફ્રોમ થિયરી ટુ પ્રેક્ટિસ'-સાઇમન્સ ઇન્સ્ટિટ્યૂટ ફોર ધ થિયરી ઓફ કમ્પ્યુટિંગ, યુસી બર્કલે, ઓક્ટોબર 2016માં આમંત્રિત વ્યાખ્યાન. 'મોબાઇલ ઓટોનોમસ રોબોટ્સ'-સપ્ટેમ્બર 2016માં ઇન્ટેલીસિસ ખાતે આમંત્રિત વ્યાખ્યાન. યુરોપીયન લેબોરેટરી ફોર લર્નિંગ એન્ડ ઇન્ટેલિજન્ટ સિસ્ટમ્સ (ELLIS સોસાયટી), 2020 ના ફેલોને પુરસ્કારો અને સન્માન. સંભવિત અને માત્રાત્મક ચકાસણીમાં તેમના સંશોધન માટે તેમને BCS અદા લવલેસ મેડલ એનાયત કરવામાં આવ્યો હતો. 2001 થી તેમણે અત્યંત પ્રભાવશાળી સંભવિત મોડેલ ચેકર PRISM ', 2019 ના વિકાસનું નેતૃત્વ કર્યું છે. રોયલ સોસાયટીના ફેલો, (એફઆરએસ), 2019. 'સ્ટોકેસ્ટિક અને ક્વોન્ટિટેટિવ મોડેલ ચેકિંગના સૈદ્ધાંતિક અને વ્યવહારુ વિકાસમાં તેમના યોગદાન', 2018 ની માન્યતામાં રોયલ સોસાયટી મિલનર એવોર્ડની પ્રથમ મહિલા વિજેતા બની. 'સંભવિત મોડેલ ચકાસણીમાં યોગદાન અને, વધુ સામાન્ય રીતે, ઔપચારિક ચકાસણી માટે', 2016 માટે સંયુક્ત રીતે એચવીસી 2016 એવોર્ડ એનાયત કરવામાં આવ્યો હતો. ક્વિયાત્કોવ્સ્કાને 2014માં કે. ટી. એચ. રોયલ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી ખાતે માનદ ડોક્ટરેટની પદવી એનાયત કરવામાં આવી હતી, અને તેઓ એસીએમના ફેલો, ઇ. એ. ટી. સી. એસ. ના ફેલો, બી. સી. એસ. ના ફેલો, એકેડેમિયા યુરોપિયાના સભ્ય, વિદેશમાં પોલિશ સોસાયટી ઓફ આર્ટ્સ એન્ડ સાયન્સના ફેલો અને અમેરિકન એકેડેમી ઓફ આર્ટ્સ એન્ડ સાયન્સના સભ્ય છે. અંગત જીવન ક્વિયાત્કોવ્સ્કા તેના પતિ સાથે ઓક્સફર્ડમાં રહે છે, જેની સાથે તેણીને એક પુત્રી છે. સંદર્ભો બાહ્ય લિંક્સ ક્વિયાટકોવ્સ્કાના યુનિવર્સિટી ઓફ ઓક્સફર્ડના હોમપેજ ક્વિયાટકોવ્સ્કાના ટ્રિનિટી કોલેજ હોમપેજ જીવંત લોકો જગિલોનિયન યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ જગિલોનિયન યુનિવર્સિટીના એકેડેમિક્સના એકેડેમિક્સના બર્મિંગહામ યુનિવર્સિટીના લેસ્ટર યુનિવર્સિટીના એકેડેમિક્સના સભ્યો કોમ્પ્યુટર સાયન્સ વિભાગ, ઓક્સફર્ડ યુનિવર્સિટીના સભ્યો એકેડેમિયા યુરોપિયા ફેલોઝ ઓફ ટ્રિનિટી કોલેજ, ઓક્સફર્ડ બ્રિટિશ કોમ્પ્યુટર વૈજ્ઞાનિકો બ્રિટિશ મહિલા કોમ્પ્યુટર વૈજ્ઞાનિકો ઔપચારિક પદ્ધતિઓ લોકો મહિલા તર્કશાસ્ત્રીઓ પોલિશ મહિલા કોમ્પ્યુટર વૈજ્ઞાનિકો પોલિશ મહિલા વિદ્વાનો ફેલોઝ ઓફ ધ એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરી ફેલોઝ ઓફ ધ રોયલ સોસાયટી 1957 જન્મ રોયલ સોસાયટીની મહિલા ફેલોઝ ફેલોઝ ઓફ ધ અમેરિકન એકેડેમી ઓફ આર્ટ્સ એન્ડ સાયન્સિસ