17 May 2012 – Prof. Joel Ouaknine, University of Oxford
Professor Ouaknine gave an extremely enjoyable talk on Automated Verification, and the theoretical underpinning of the subject. Although a highly technical area, the presentation covered a potentially difficult subject in a way which was accessible to non-specialists, and was appreciated by the large audience. The combination of theory and practice showed how the body of theoretical work could be translated into concrete engineering achievements. Examples were provided from work with industrial partners in the automotive and avionics sectors. It was definitely a session which got the "grey matter" working.