De Wikipedia, la enciclopedia libre
Ir a navegaciónSaltar a buscar
Marta KwiatkowskaFRS MAE
Marta Kwiatkowska.png
Kwiatkowska en 2018
Nació
Marta Zofia Kwiatkowska

1957 (63 a 64 años) [1]
Nacionalidadpolaco
Ciudadaníabritánico
alma mater
Premios
Carrera científica
Los campos
Instituciones
TesisEquidad para la concurrencia no intercalada  (1989)
Sitio webcs .ox .ac .uk / marta .kwiatkowska

Marta Zofia Kwiatkowska FRS MAE es una científica informática teórica polaca afincada en el Reino Unido. [2] [1]

Kwiatkowska es profesor de sistemas informáticos [3] en el Departamento de Ciencias de la Computación de la Universidad de Oxford , Inglaterra, [4] y miembro del Trinity College de Oxford . [5] Su investigación se centra en el desarrollo de técnicas de modelado y verificación automatizada para sistemas informáticos con el fin de garantizar una operación segura, confiable, oportuna y eficiente en el uso de recursos. [6] [7]

Educación

Kwiatkowska recibió su licenciatura y maestría en ciencias de la computación con distinción summa cum laude de la Universidad Jagiellonian en Cracovia , Polonia. Obtuvo su doctorado en Ciencias de la Computación de la Universidad de Leicester en 1989. [8] [9]

Carrera e investigación

Después de obtener su doctorado , Kwiatkowska fue profesora asistente en la Universidad Jagiellonian , Cracovia , Polonia (1980-1988); investigador y profesor de informática en la Universidad de Leicester (1984-1994); y profesor de Ciencias de la Computación , lector de Semántica para la Concurrencia y profesor de Ciencias de la Computación en la Universidad de Birmingham (1984-2007). Kwiatkowska se incorporó a la Universidad de Oxford en 2007 y fue la primera profesora en el Departamento de Ciencias de la Computación.y ahora encabeza el tema de investigación de Verificación automatizada . [10]

La investigación de Kwiatkowska desarrolla modelos y métodos de análisis para sistemas complejos, como los que se encuentran en redes de computadoras, organismos biológicos y dispositivos electrónicos. [11] [12] [13] Kwiatkowska dirigió el desarrollo del verificador de modelos probabilísticos PRISM ; [6] [14] PRISM se ha descargado más de 79.000 veces y hay más de 400 artículos de equipos de investigación externos que utilizan PRISM (a enero de 2021). [15] [16]

Instrumental en el desarrollo de métodos probabilísticos y cuantitativos en la verificación en la escena internacional, el trabajo reciente de Kwiatkowska incorpora síntesis de especificaciones cuantitativas con un enfoque en la seguridad y robustez para el aprendizaje automático y la inteligencia artificial. [6] [17] Miembro del "Grupo de trabajo de IA responsable" de la Asociación mundial sobre inteligencia artificial (GPAI) y del "Grupo de trabajo de tecnología digital y planeta" de la Royal Society , Kwiatkowska aboga por la adopción responsable de una IA de confianza. [18] [19]

Como miembro senior de OxWoCS , [20] colaborador de la Cumbre Perspektywy Women in Tech y asesor del Suffrage Science Award (2016), [21] Kwiatkowska anima a las mujeres a seguir carreras científicas.

Kwiatkowska es miembro de los consejos editoriales de Información y Computación , [22] Métodos formales en el diseño de sistemas , [23] Métodos lógicos en ciencias de la computación , [24] Ciencias de la programación de computadoras [25] y Open Science de la Royal Society . [26]

Proyectos actuales

  • FUN2MODEL: Desde el razonamiento probabilístico automatizado basado en FUNCIONES hasta el basado en MODELO para el aprendizaje profundo (2019-2024), una subvención avanzada del Consejo Europeo de Investigación ( ERC ).
  • Autonomía móvil: habilitación de una tecnología generalizada del futuro (2015-2021), una subvención del programa del Consejo de Investigación en Ingeniería y Ciencias Físicas ( EPSRC ) ( co-I ).

Charlas y conferencias seleccionadas

  • ' Comprobación de modelos probabilísticos para un mundo rico en datos ' BCS 2020 Lovelace Lecture, evento en línea, mayo de 2021.
  • ' Comprobación modelo probabilístico para la toma de decisiones basada Equilibrios Estratégica ' Conferencia sobre los principios de representación del conocimiento y el razonamiento, ( KR 2020 ), evento en línea, septiembre de 2020. '
  • ' Cuándo confiar en un automóvil autónomo ...' - Conferencia del premio Milner , noviembre de 2018.
  • 'Cuándo confiar en un robot' - Charla del Hay Festival el 30 de mayo de 2017.
  • 'Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice' - conferencia invitada en el Simons Institute for the Theory of Computing , UC Berkeley , octubre de 2016.
  • 'Robots autónomos móviles' - conferencia invitada en IntelliSys , septiembre de 2016.

Premios y honores

  • Miembro del Laboratorio Europeo de Aprendizaje y Sistemas Inteligentes ( Sociedad ELLIS ), 2020. [27]
  • Galardonado con la medalla BCS Ada Lovelace por 'su investigación en verificación probabilística y cuantitativa. Desde 2001 ha dirigido el desarrollo del verificador de modelos probabilísticos de gran influencia PRISM ', 2019. [28]
  • Miembro de la Royal Society , (FRS), 2019. [29] [30]
  • Se convirtió en la primera mujer ganadora del Royal Society Milner Award en reconocimiento a 'su contribución al desarrollo teórico y práctico de la verificación de modelos estocásticos y cuantitativos', 2018. [31]
  • Galardonado conjuntamente con el premio HVC 2016 por sus 'contribuciones a la verificación de modelos probabilísticos y, de manera más general, a la verificación formal', 2016. [32]

Kwiatkowska fue galardonado con un Doctorado Honoris Causa en el KTH Royal Institute of Technology en 2014, y es miembro de ACM , miembro de EATCS , miembro de BCS , miembro de la Academia Europea y miembro de la Sociedad Polaca de Artes y Ciencias en el Extranjero . [33] [34] [35] [36]

Vida personal

Kwiatkowska vive en Oxford con su marido, con quien tiene una hija. [ cita requerida ]

Referencias

  1. ↑ a b Anon (2017). "Kwiatkowskia, Prof. Marta Zofia" . Quién es quién . ukwhoswho.com ( edición en línea de Oxford University Press  ). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U253926 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
  2. ^ a b Publicaciones de Marta Kwiatkowska indexadas por Google Scholar
  3. ^ "Marta Kwiatkowska" . Departamento de Ciencias de la Computación . Consultado el 9 de febrero de 2021 .
  4. ^ "Departamento de informática: Marta Kwiatkowska" . Consultado el 28 de mayo de 2017 .
  5. ^ "Trinity College - Marta Kwiatkowska" . Consultado el 4 de diciembre de 2017 .
  6. ↑ a b c Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy (2008), "Verificación de sistemas probabilísticos en tiempo real" , Modelado y verificación de sistemas en tiempo real , Londres, Reino Unido: ISTE, págs. 249–288, doi : 10.1002 / 9780470611012.ch8 , ISBN 978-0-470-61101-2, consultado el 9 de febrero de 2021
  7. ^ "Departamento de informática: Marta Kwiatkowska - descripción general de la investigación" . www.cs.ox.ac.uk . Consultado el 9 de febrero de 2021 .
  8. ^ Kwiatkowska, Marta Zofia (1989). Equidad para la concurrencia no intercalada . le.ac.uk (tesis doctoral). Universidad de Leicester. hdl : 2381/8809 . EThOS uk.bl.ethos.521489 . 
  9. ^ "Prof. Marta Kwiatkowska - AcademiaNet" . Consultado el 4 de diciembre de 2017 .
  10. ^ "Departamento de informática - tema de investigación: verificación automatizada" . www.cs.ox.ac.uk . Consultado el 9 de febrero de 2021 .
  11. ^ Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana (2008). "Comprobación del modelo probabilístico de vías biológicas complejas" . Informática Teórica . 391 (3): 239-257. doi : 10.1016 / j.tcs.2007.11.013 . ISSN 0304-3975 . 
  12. ^ Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min (2017), "Verificación de seguridad de redes neuronales profundas" , Verificación asistida por computadora , Cham: Springer International Publishing, págs. 3–29, arXiv : 1610.06940 , doi : 10.1007 / 978-3-319-63387-9_1 , ISBN 978-3-319-63386-2, S2CID  11626373 , consultado el 9 de febrero de 2021
  13. ^ Duflot, Marie; Kwiatkowska, Marta; Norman, Gethin; Parker, David (5 de julio de 2006). "Un análisis formal del descubrimiento de dispositivos bluetooth" . Revista internacional de herramientas de software para la transferencia de tecnología . 8 (6): 621–632. doi : 10.1007 / s10009-006-0014-x . ISSN 1433-2779 . S2CID 8454983 .  
  14. ^ "PRISM - Comprobador de modelo simbólico probabilístico" . www.prismmodelchecker.org . Consultado el 9 de febrero de 2021 .
  15. ^ "prismmodelchecker.org" . www.prismmodelchecker.org . Consultado el 9 de febrero de 2021 .
  16. ^ "Bibliografía externa de PRISM" . Verificador de modelos PRISM . Consultado el 9 de febrero de 2021 .
  17. ^ Wu, Min; Kwiatkowska, Marta (junio de 2020). "Garantías de robustez para redes neuronales profundas en vídeos" . Conferencia IEEE / CVF 2020 sobre visión artificial y reconocimiento de patrones (CVPR) . IEEE: 308–317. arXiv : 1907.00098 . doi : 10.1109 / cvpr42600.2020.00039 . ISBN 978-1-7281-7168-5. S2CID  195767577 .
  18. ^ "AI responsable - GPAI" . gpai.ai . Consultado el 11 de febrero de 2021 .
  19. ^ "La tecnología digital y el planeta | Royal Society" . royalsociety.org . Consultado el 11 de febrero de 2021 .
  20. ^ "Comité OxWoCS" . www.cs.ox.ac.uk . Consultado el 15 de febrero de 2021 .
  21. ^ MRC Instituto de Ciencias Médicas de Londres. "Sufragio Ciencias Matemáticas y Computación 2016" . Issuu . Consultado el 15 de febrero de 2021 .
  22. ^ Información y computación .
  23. ^ "Métodos formales en el diseño de sistemas" . Springer . Consultado el 11 de febrero de 2021 .
  24. ^ "Métodos lógicos en informática - Consejo editorial" . lmcs.episciences.org . Consultado el 11 de febrero de 2021 .
  25. ^ Ciencia de la programación informática .
  26. ^ "Consejo editorial | Ciencia abierta de la Royal Society" . royalsocietypublishing.org . Consultado el 11 de febrero de 2021 .
  27. ^ Williams, Jonathan. "Becarios" . Laboratorio Europeo de Aprendizaje y Sistemas Inteligentes . Consultado el 9 de febrero de 2021 .
  28. ^ "BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska | BCS" . www.bcs.org . Consultado el 9 de febrero de 2021 .
  29. ^ "Marta Kwiatkowska | Sociedad Real" . royalsociety.org . Consultado el 9 de febrero de 2021 .
  30. ^ "Científicos distinguidos elegidos como becarios y miembros extranjeros de la Royal Society | Royal Society" . royalsociety.org . Consultado el 9 de febrero de 2021 .
  31. ^ "Marta Kwiatkowska | Sociedad Real" . royalsociety.org . Consultado el 9 de febrero de 2021 .
  32. ^ "HVC 2016 - Conferencia de verificación de Haifa 2016" . www.research.ibm.com . 4 de septiembre de 2011 . Consultado el 9 de febrero de 2021 .
  33. ^ "Doctores honorarios en KTH" . KTH . Consultado el 11 de febrero de 2021 .
  34. ^ "Acerca de los becarios de ACM" . awards.acm.org . Consultado el 9 de febrero de 2021 .
  35. ^ "Becarios de EATCS" . Asociación Europea de Informática Teórica . Consultado el 9 de febrero de 2021 .
  36. ^ "Academia de Europa: Kwiatkowska Marta" . www.ae-info.org . Consultado el 11 de febrero de 2021 .

Enlaces externos

  • Página de inicio de la Universidad de Oxford de Kwiatkowska
  • Página de inicio del Trinity College de Kwiatkowska