Following the successful School Seminar on Tuesday 9th February, ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei’, please find attached the speaker’s slides.