Wikipedia

Marta Kwiatkowska

Marta Kwiatkowska
mmádu
ụdịekerenwanyị Dezie
mba o sịPoland Dezie
aha n'asụsụ obodoMarta Kwiatkowska Dezie
aha enyereMarta, Zofia Dezie
aha ezinụlọ yaKwiatkowska Dezie
ụbọchị ọmụmụ ya26 Febụwarị 1957 Dezie
asụsụ ọ na-asụ, na-ede ma ọ bụ were na-ebinye akaPolish Dezie
ọrụ ọ na-arụọkà mmụta sayensị kọmputa, injinia Dezie
ụdị ọrụ yacomputer science Dezie
onye were ọrụJagiellonian University, University of Birmingham, University of Leicester, University of Oxford Dezie
ebe agụmakwụkwọJagiellonian University Dezie
Onye òtù nkeAcademia Europaea, Royal Society, UK Computing Research Committee, American Academy of Arts and Sciences, Association for Computing Machinery Dezie
WikiProject na-elekọta yaWikiProject Mathematics Dezie

 

Marta Zofia Kwiatkowska FRS MAE (amụrụ 1957) bụ ọkà mmụta sayensị kọmputa nke Polish dabere na United Kingdom.

Kwiatkowska bụ Prọfesọ nke Sistemụ Kọmputa [1] na Ngalaba Kọmputa Sayensị na Mahadum Oxford, England, na onye otu nke Trinity College, Oxford . Nchọpụta ya lekwasịrị anya n'ịmepụta usoro nleba anya na usoro nkwenye akpaaka maka sistemu ịgbakọ iji wee kwe nkwa ọrụ nchekwa, nchekwa, ntụkwasị obi, n'oge yana ịrụ ọrụ nke ọma. [2]

Agụmakwụkwọ

dezie

Kwiatkowska nwetara nzere bachelọ Sayensị na Master of Science na Kọmputa Sayensị na summa cum laude sitere na Mahadum Jagiellonian na Kraków, Poland. O nwetara PhD na Sayensị Kọmputa na Mahadum Leicester na 1989.

Ọrụ na nyocha

dezie

Mgbe ọ nwetasịrị PhD ya, Kwiatkowska bụ osote prọfesọ na Mahadum Jagiellonian, (1980-1988); ọkà mmụta nyocha na onye nkuzi na Kọmputa Sayensị na Mahadum Leicester (1984-1994); na onye nkuzi na Kọmputa Sayensị, onye na-agụ na Semantics for Concurrency, na prọfesọ nke Science Science na Mahadum Birmingham (1994-2007). N'ịbanye na Mahadum Oxford na 2007, Kwiatkowska bụ onye prọfesọ nwanyị mbụ na Ngalaba Sayensị Kọmputa ma bụrụ isi ugbu a isiokwu nyocha nyocha Automated . [3] [4]

Nnyocha nke Kwiatkowska na-emepụta ụdị na ụzọ nyocha maka usoro mgbagwoju anya, dị ka a na-ahụ na netwọk kọmputa, ihe ndị dị ndụ na ngwaọrụ eletrọnịkị. [5] [6] Kwiatkowska duuru mmepe nke PRISM ihe nleba anya ihe nlere anya ; [7] Ebudatala PRISM ihe karịrị ugboro 79,000 yana enwere akwụkwọ karịrị 400 site n'aka ndị otu nyocha mpụga na-eji PRISM (dịka na Jenụwarị 2021). [8] [9]

Akụrụngwa na mmepe nke usoro puru omume na ọnụọgụ na nkwenye na ọnọdụ mba ụwa, ọrụ Kwiatkowska na-adịbeghị anya na-agụnye njikọ sitere na nkọwa ọnụọgụ na-elekwasị anya na nchekwa na ike maka mmụta igwe na AI . [10] Otu onye so na Global Partnership on Artificial Intelligence (GPAI) 'Ikike AI na-arụ ọrụ', yana Royal Society's 'Digital Technology and the Planet Working Group', Kwiatkowska na-akwado nnabata AI kwesịrị ntụkwasị obi. [11] [12]

Dị ka onye isi nke OxWoCS, [13] na-enye aka na Perspektywy Women in Tech Summit na onye ndụmọdụ na Suffrage Science Award (2016), [14] Kwiatkowska na-agba ụmụ nwanyị ume ịchụso ọrụ na sayensị.

Kwiatkowska na-eje ozi na bọọdụ nchịkọta akụkọ nke Ozi na Mgbakọ, [15] Usoro Nhazi na Nhazi System, [16] Ụzọ ezi uche dị na Kọmputa Sayensị, [17] Sayensị nke Mmemme Kọmputa [18] na Royal Society's Open Science . [19]

Ihe oru ngo

dezie
  • FUN2MODEL: Site na ọrụ dabere na ebumnuche akpaghị aka dabere na Model maka mmụta miri emi (2019-2024), European Research Council (ERC) Advanced Grant.
  • Mobile Autonomy: Na-eme ka nkà na ụzụ na-emepe emepe nke Ọdịnihu (2015-2021), Council Council Research Engineering na Physical Sciences ( EPSRC ) Grant Program ( co-I ).

Okwu na nkuzi ahọpụtara

dezie

Ihe nrite na nkwanye ugwu

dezie
  • Onye otu ụlọ nyocha nke European Laboratory for Learning and Intelligent Systems ( ELLIS Society ), 2020. [20]
  • Enyere BCS Ada Lovelace Medal maka 'nyocha ya na nkwenye nke puru omume na ọnụọgụ. Kemgbe 2001 o dugoro mmepe nke ihe nleba anya ihe nlere nke puru omume nke ukwuu PRISM', 2019. [21]
  • Onye otu Royal Society, (FRS), 2019. [22] [23]
  • Bụrụ onye nwanyị mbụ nwetara mmeri nke Royal Society Milner Award n'ịkwado 'ntụnye aka ya na mmepe usoro mmụta na mmepe nke stochastic and quantitative model checking', 2018. [22]
  • Ejikọtara ọnụ nye onyinye HVC 2016 maka 'atụnye aka na nlele ihe atụ nke puru omume yana, n'ozuzu, na nkwenye nkịtị', 2016. [24]

Enyere Kwiatkowska nzere Doctorate Honorary na KTH Royal Institute of Technology na 2014, yana onye otu ACM, Fellow of EATCS, Fellow of the BCS, onye otu Academia Europaea, Onye otu Polish Society of Arts & Sciences Abroad, [25] [26] [27] [28] na onye otu American Academy of Arts and Sciences . [29]

Ndụ onwe onye

dezie

Kwiatkowska bi na Oxford ya na di ya, onye ya na ya nwere nwa nwanyị. </link>[ a chọrọ nkọwa ]

Edensibia

dezie
  1. ↑ Marta Kwiatkowska (en-gb). Department of Computer Science. Retrieved on 2021-02-09.
  2. ↑ Department of Computer Science: Marta Kwiatkowska - Research Overview. cs.ox.ac.uk. Retrieved on 2021-02-09.
  3. ↑ About the Department of Computer Science. www.cs.ox.ac.uk. Retrieved on 2024-01-18.
  4. ↑ Department of Computer Science - research theme: Automated Verification. www.cs.ox.ac.uk. Retrieved on 2021-02-09.
  5. ↑ Heath (2008). "Probabilistic model checking of complex biological pathways". Theoretical Computer Science 391 (3): 239–257. DOI:10.1016/j.tcs.2007.11.013. ISSN 0304-3975. 
  6. ↑ Duflot (2006-07-05). "A formal analysis of bluetooth device discovery". International Journal on Software Tools for Technology Transfer 8 (6): 621–632. DOI:10.1007/s10009-006-0014-x. ISSN 1433-2779. 
  7. ↑ PRISM - Probabilistic Symbolic Model Checker. www.prismmodelchecker.org. Retrieved on 2021-02-09.
  8. ↑ prismmodelchecker.org. prismmodelchecker.org. Retrieved on 2021-02-09.
  9. ↑ External PRISM Bibliography. PRISM Model Checker. Retrieved on 9 February 2021.
  10. ↑ Wu (June 2020). "Robustness Guarantees for Deep Neural Networks on Videos", 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 308–317. DOI:10.1109/cvpr42600.2020.00039. ISBN 978-1-7281-7168-5. 
  11. ↑ Responsible AI - GPAI. gpai.ai. Retrieved on 2021-02-11.
  12. ↑ Digital technology and the planet | Royal Society. royalsociety.org. Retrieved on 2021-02-11.
  13. ↑ OxWoCS Committee. www.cs.ox.ac.uk. Retrieved on 2021-02-15.
  14. ↑ MRC London Institute of Medical Sciences (7 October 2016). Suffrage Science Maths and Computing 2016. Issuu. Retrieved on 2021-02-15.
  15. ↑ Information and Computation. 
  16. ↑ Formal Methods in System Design. Springer. Retrieved on 2021-02-11.
  17. ↑ Logical Methods in Computer Science - Editorial Board. lmcs.episciences.org. Retrieved on 2021-02-11.
  18. ↑ Science of Computer Programming. 
  19. ↑ Editorial board | Royal Society Open Science. royalsocietypublishing.org. Retrieved on 2021-02-11.
  20. ↑ Williams. Fellows (en). European Lab for Learning & Intelligent Systems. Retrieved on 2021-02-09.
  21. ↑ BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska. bcs.org. Archived from the original on 2021-02-09. Retrieved on 2021-02-09.
  22. ↑ 22.0 22.1 Marta Kwiatkowska | Royal Society (en-gb). royalsociety.org. Retrieved on 2021-02-09.
  23. ↑ Distinguished scientists elected as Fellows and Foreign Members of the Royal Society | Royal Society (en-gb). royalsociety.org. Retrieved on 2021-02-09.
  24. ↑ HVC 2016 - Haifa Verification Conference 2016 (en-US). research.ibm.com (2011-09-04). Retrieved on 2021-02-09.
  25. ↑ Honorary doctors at KTH (en-GB). KTH. Archived from the original on 2021-03-04. Retrieved on 2021-02-11.
  26. ↑ About ACM Fellows (en). awards.acm.org. Retrieved on 2021-02-09.
  27. ↑ EATCS Fellows. European Association for Theoretical Computer Science. Retrieved on 9 February 2021.
  28. ↑ Academy of Europe: Kwiatkowska Marta. ae-info.org. Retrieved on 2021-02-11.
  29. ↑ New members. American Academy of Arts and Sciences (2023). Retrieved on 2023-04-21.

Kpọpụta njehie: <ref> tag with name "oxford" defined in <references> is not used in prior text.
Kpọpụta njehie: <ref> tag with name "edu" defined in <references> is not used in prior text.

Kpọpụta njehie: <ref> tag with name "trinity" defined in <references> is not used in prior text.

Njikọ mpụga

dezie

Templeeti:FRS 2019

Ewepụtara na https://ig.wikipedia.org/w/index.php?title=Marta_Kwiatkowska&oldid=188790