Joel Ouaknine is Professor of Computer Science at Oxford University, and Fellow of St John’s College. He holds a BSc and MSc in Mathematics from McGill University, and received his 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 both 2007 and 2008 he received an Outstanding Teaching Award from Oxford University, and the following year he was awarded an EPSRC Leadership Fellowship, enabling him to focus (almost) exclusively on research for a period of five years. He is the recipient of the 2010 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.” In 2015, he was awarded an ERC Consolidator Grant, again allowing him to focus mainly on research for a five-year period. His research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.