Joël Ouaknine#


Joël Ouaknine
Membership Number:5253
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Elected:2020
ORCID:0000-0003-0031-9356
Homepage: https://people.mpi-sws.org/~joel



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)
  • Automated verification of real-time, probabilistic, and infinite-state systems
  • Logic and applications to verification
  • Automated software analysis
  • Concurrency

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

Imprint Privacy policy « This page (revision-8) was last updated on Tuesday, 28. July 2020, 13:04 by Kaiser Dana
  • operated by