Profesor informatyki na Uniwersytecie Oksfordzkim oraz w Instytucie Podstaw Informatyki Polskiej Akademii Nauk. Pracuje naukowo w dziedzinie weryfikacji systemów obliczeniowych. Opracowuje techniki modelowania oraz automatycznej weryfikacji, które gwarantują bezpieczne i niezawodne działanie systemów komputerowych. Jest znana jako twórczyni PRISM, które jest najczęściej używanym na świecie narzędziem oprogramowania open source do modelowania i analizowania zachowania systemów, których funkcjonowanie charakteryzuje się niepewnością lub losowością. Może być stosowane do protokołów bezpieczeństwa internetu, w kryptografii kwantowej, ale także między innymi do oceny niezawodności działania robotów, rozruszników serca czy sieci molekularnej. W ostatnich latach zainteresowała się sztuczną inteligencją, gdzie wypracowuje metody certyfikacji bezpieczeństwa. Otrzymała dwa granty z Europejskiej Rady ds. Badań Naukowych, jest laureatką Nagrody Milnera przyznawanej przez Royal Society i Medalu Lovelace, a także członkinią Royal Society i Academia Europea.

Fot. Fisher Studios