Professor Joël Ouaknine, University of Oxford
Thursday 16th May 2013 – 7:30pm
Oxford e-Research Centre, 6 Keble Road, Oxford, OX1 3QG
In his talk for us last year on real-time systems, Prof. Ouaknine gave his audience a deeper understanding of a complex topic, which was very well received. For his return visit, expect more of the same, this time on Discrete Linear Dynamical Systems, which are simple mathematical models used in a wide range of fields. These give rise to many deep and interesting decision problems, relating to everyday computer-science concerns. This talk will also discuss some of the fascinating links which have recently emerged with other parts of computer science and mathematics, inspiring some of the best minds in these fields around the world. Expect to be challenged and enlightened in equal measure.
About Professor Joël Ouaknine
Joël is a Professor of Computer Science at the University of Oxford and a Fellow of St John’s College. He was awarded a BSc and MSc in Mathematics from McGill University, and received a PhD in Computer Science from Oxford in 2001. He subsequently did postdoctoral work at Tulane University and Carnegie Mellon University, and more recently held a visiting professorship at the Ecole Normale Superieure in Cachan, France. In 2009, he was awarded an EPSRC Leadership Fellowship, enabling him to focus (almost) exclusively on research for a period of five years.
Joël was the 2010 recipient of the BCS Roger Needham Award, given annually “for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD”. His research interests include the verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, decision problems, complexity), logic and applications to verification, linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.
The meeting is on Thursday 16 May 7.00 for 7.30 and ends around 9.00.
It will be held at the Oxford e-Research Centre, 6 Keble Road, Oxford OX1 3QG.
Sandwiches and light refreshments are available from 7.00pm.
Meetings are open to non-members and free.