Joël Ouaknine#
Membership Number: | 5253 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2020 |
Main Country of Residence: | GERMANY |
Homepage(s): | https://people.mpi-sws.org/~joel |
ORCID: | 0000-0003-0031-9356 |
Present and Previous Positions
- 2016 - present Scientific Director, Max Planck Institute for Software Systems
- 2016 - present Adjunct Professor, Department of Computer Science, Saarland University
- 2016 - present Professorial Research Fellow (part-time), Department of Computer Science, Oxford University
- 2010 - 2016 Full Professor of Computer Science, Oxford University
- 2008 - 2010 Reader in Computer Science, Oxford University
- 2004 - 2008 University Lecturer in Computer Science, Oxford University
- 2002 - 2004 Postdoctoral Fellow, Computer Science Department, Carnegie Mellon University
- 1999 - 2002 Instructor, Department of Mathematics, Tulane University
Fields of Scholarship
- Foundations of algorithmic verification
- Linear dynamical systems (decision, control, and synthesis problems)
- Logic and applications to verification
- Automated software analysis
- Concurrency
- Automated verification of real-time, probabilistic, and infinite-state systems
Honours and Awards
- 2018 PI on CRC 248 (major 12-year DFG consortium grant with Saarland University and TU Dresden)
- 2015 ERC Consolidator Grant
- 2010 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")
- 2009 EPSRC Leadership Fellowship (5-year research grant of total value > £1M providing complete buy-out from teaching; only 17 Leadership Fellowships awarded in 2009 in the UK across all scientific areas, of which only 4 in Computer Science.)
- Invited Plenary Speaker at multiple international conferences and symposia