Program Invariants
Joel Ouaknine ( University of Oxford )
- 14:00 26th February 2019 ( week 7, Hilary Term 2019 )Lecture Theatre B, Wolfson Building
Automated invariant generation is a fundamental challenge in program analysis and verification, going back many decades, and remains a topic of active research. In this talk I'll present a select overview and survey of work on this problem, and discuss unexpected connections to other fields including algebraic geometry, group theory, and quantum computing. (No previous knowledge of these things will be assumed.)
This is joint work with Ehud Hrushovski, Amaury Pouly, and JamesWorrell.
Speaker bio
Joël Ouaknine is a Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, where he leads the Foundations of Algorithmic Verification group. He also holds a part-time appointment as Professor of Computer Science at Oxford, where he previously worked full-time as an academic from 2004 to 2016. His present research interests revolve around decision, control, and synthesis problems for continuous and discrete linear dynamical systems (using tools from number theory, Diophantine geometry, and algebraic geometry). In both 2007 and 2008 he received an Outstanding Teaching Award from Oxford University, in 2009 he was awarded an EPSRC Leadership Fellowship, and in 2010 he received the Roger Needham Award. He presently holds an ERC Consolidator Grant to carry out research in dynamical systems.Share this:
