As we continue to present our Keynote Speakers, please welcome prof. Marta Kwiatkowska from Oxford University!

Computing infrastructure has become indispensable in our society, with examples ranging from online banking, to intelligent vehicles and electronic medical equipment. Personalized health is a European priority and one of the strategic research areas for Horizon 2020. This lecture will introduce you to the state-of-the-art of personal health technologies for affective disorders, which mark a significant shift from the current wearable technologies capturing emotional responses whose understanding usually requires physicians’ input, to low-cost self-help technologies for visualizing, exploring and regulating emotions.

Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She led the development of the PRISM model checker, the leading software tool in the area, widely used for research and teaching and winner of the HVC 2016 Award. She is the first female winner of the 2018 Royal Society Milner Award and Lecture.