Professor Joel Ouaknine | University of Oxford

Professor Joel Ouaknine

Professor of Computer Science; Fellow of St John's College


Professor Ouaknine's 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.