ANNUAL MORLEY DISTINGUISHED SEMINAR
Our speaker for the Sixth Annual Distinguished Morely Seminar was Professor Marta Kwiatkowska, Professor of Computing Systems and Fellow of Trinity College. The seminar was held on Monday 26th November 2018
Abstract: Computing devices support us in almost all everyday tasks, from mobile phones and online banking to wearable and implantable medical devices. We are now experimenting with self-driving cars and robots. Since embedded software at the heart of these devices must behave correctly in presence of uncertainty, probabilistic verification techniques have been developed to guarantee their safety, reliability and resource efficiency.
Using illustrative examples, this lecture will give an overview of the role that probabilistic modelling and verification can play in a variety of applications, including security, medical devices, self-driving cars and DNA computing. It will also describe recent developments towards model synthesis, which aims to build these systems so that they are correct by construction. Finally, it will explore the problems of ensuring that systems that rely on learning will behave correctly, both in situations that they have seen in training, and in situations that they haven’t.
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she was Professor in the School of Computer Science at the University of Birmingham, Lecturer at the University of Leicester and Assistant Professor at the Jagiellonian University in Cracow, Poland. She holds a BSc/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. In 2014 she was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm.
Marta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. She led the development of the PRISM model checker, the leading software tool in the area and widely used for research and teaching and winner of the HVC 2016 Award. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska gave the Milner Lecture in 2012 in recognition of "excellent and original theoretical work which has a perceived significance for practical computing" and was invited to give keynotes at the LICS 2003, ESEC/FSE 2007, ETAPS/FASE 2011, ATVA 2013, ICALP 2016 and CAV 2017 conferences.
Marta Kwiatkowska is the first female winner of the 2018 Royal Society Milner Award and Lecture. She is a Fellow of ACM, member of Academia Europea, Fellow of EATCS and Fellow of the BCS. She serves on editorial boards of several journals, including Information and Computation, Formal Methods in System Design, Logical Methods in Computer Science, Science of Computer Programming and Royal Society Open Science journal. Kwiatkowska's research has been supported by grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE "From software verification to everyware verification" and the EPSRC Programme Grant on Mobile Autonomy
“Physics, meteorology, the Sun and how I ended up in an exciting career I didn’t anticipate”
Our speaker for the Annual Morley Seminar 2017 was Professor Joanna Haigh, CBE, Co-Director of the Grantham Institute at Imperial College and previously Head of the Department of Physics there. This seminar was held on Thursday 25 May 2017.
Abstract Having spent most of my research life investigating various aspects of radiative transfer in the atmosphere, it was a chance remark by a solar physicist that sparked my interest in the Sun’s influence on climate. I have found it a fascinating and rich subject for research. Solar-climate links have, of course, been the subject of popular and scientific interest since ancient times but over recent decades the topic has acquired new significance in the context of the need to assess the relative contributions of natural and human factors to climate change. So my long-standing interest in weather progressed into a deeper concern with climate and now the opportunity to become co-director of the Grantham Institute has given me a whole new career avenue in climate change. In this talk, I outlined some of my work on solar variability and climate and tried to offer an objective overview of my career, the decisions I have made and support received.
Our speaker for the 2016 Annual Morley Seminar was Professor Susan Solomon, Ellen Swallow Professor of Atmospheric Chemistry & Climate Science at The Massachusetts Institute of Technology (MIT) - see Professor Solomon's biography and herbackground information. The seminar, entitled Meeting the Scientific and Policy Challenges of the Antarctic Ozone Hole: A Global Success Story, was held on Wednesday 25 May 2016 in the Madejski Theatre in the Agriculture Building.
Professor Alison Etheridge FRS (Professor of Probability and Deputy Head of the Mathematical, Physical and Life Sciences Division of the University of Oxford and Fellow by Special Election at Magdalen College) gave the 2015 Morley lecture on Wednesday 30 September in Meteorology. Further details of the talk can be found in the link.
2015 Morley Distinguished Seminar: Professor Alison Etheridge FRS (centre) - Professor Simon Chandler-Wilde (left) - Professor Ben Cosh (right)
Professor Julia Slingo (Chief Scientist at the Met Office and Visiting Professor at the Department of Meteorology, University of Reading) gave the second Morley Distinguished Lecture at the University of Reading on 18 March 2014.
Professor Slingo’s lecture, “Weather forecasting and climate prediction: Recent successes and future prospects”, addressed a selection of recent scientific advances from the Met Office science programme including new developments in local scale weather forecasting, seasonal prediction and the pause in global surface warming. Julia’s presentation looked at some of the new developments on the horizon and how increased supercomputer power would help.
2014 Morley Distinguished Seminar: Sir David Bell, KCB (Vice-Chancellor), Professor Julia Slingo (Chief Scientist at the Met Office and Visiting Professor at the Department of Meteorology at the University of Reading) and Professor Simon Chandler-Wilde (Head of the School of Mathematical and Physical Sciences).
Professor Margaret H. Wright, Courant Institute of Mathematical Sciences, New York University
“The unfinished story of a popular yet controversial method for derivative-free optimization”First published in 1965, the Nelder-Mead “Simplex” algorithm remains, after almost 50 years, one of the most widely used methods for derivative-free optimization, despite known flaws such as stagnation and slow/failed convergence. Although its implementation is straightforward, researchers have struggled to obtain minimal convergence results and (even harder) to explain its observed performance, which varies from successful to erratic. This talk will touch on selected interesting properties of the Nelder-Mead method.
2013 Morley Distinguished Seminar:
Professor Margaret Wright (Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University), Professor Simon Chandler-Wilde (Head of the School of Mathematical and Physical Sciences), Emeritus Professor Roger Mead (formerly Deputy Vice-Chancellor of the University of Reading), and Professor Christine Williams, Pro-Vice-Chancellor for Research and Innovation.