They received the awards for the numerous and highly significant contributions they made to their respective research areas: preventing software faults and improving decision making in health. The five-yearly award is established by CWI, the national research institute for mathematics and computer science in the Netherlands, and is named after former CWI director Aad van Wijngaarden. The winners received the prize during a festive soirée on 3 November 2022 in the Trippenhuis in Amsterdam on the occasion of the 75th anniversary of CWI. CWI’s Krzysztof Apt and Peter Grünwald gave the laudatio lecture about the winners.
About the award winners
Marta Kwiatkowska (University of Oxford) is a computer scientist who pioneered research on modelling, verification, and synthesis of probabilistic systems. She led the development of the highly influential PRISM probabilistic model checker, which is widely used for research and teaching and which has been downloaded over 80,000 times. In her research Kwiatkowska showed the relevance of PRISM by applying it in several areas, including ubiquitous computing, system biology, DNA computing, and most recently, safety for AI. Marta Kwiatkowska was awarded an honorary doctorate from the KTH Royal Institute of Technology in Stockholm and is a recipient of the Milner Award and British Computer Society Lovelace Medal. In 2019 she became Fellow of the Royal Society.
Susan A. Murphy (Harvard University) is a professor of statistics and computer science. Her research focuses on improving sequential, individualized, decision making in health, in particular on clinical trial design and data analysis to inform the development of just-in-time adaptive interventions. She led the development of a new type of sequential trial which is now deployed across many medical areas including treatment of various chronic diseases and addiction disorders. She is the former president of the Institute of Mathematical Statistics and the Bernoulli Society for Mathematical Statistics and Probability, recipient of a MacArthur Fellowship and the Royal Statistical Society Guy Medal in Silver, as well as a member of the U.S. National Academy of Sciences and the National Academy of Medicine.
