Joël Ouaknine - Curriculum Vitae#

CURRENT AND RECENT EMPLOYMENT

• Since 2016: Scientific Director, Max Planck Institute for Software Systems (Managing Director of the Institute 2018 - 2020)
  
• 2010 - 2016: Full Professor of Computer Science, Oxford University (Deputy Head of Department 2014 -2016)

EDUCATION

• 2001: PhD in Computer Science, Oxford University
  
• 1995: MSc in Mathematics, McGill University
  
• 1993: BSc in Mathematics, McGill University

SELECTED AWARDS AND DISTINCTIONS

• 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
  
• 2007, 2008: Outstanding Teaching Award, Oxford University (twice)
  
• Invited Plenary Speaker at over two dozen international conferences and symposia, including
• ICALP (2010), FOSSACS (2017), CONCUR (2019), FSTTCS (2020), Heilbronn Annual Conference in Mathematics (2015)

CURRENT FUNDING

• PI (one of 18), CRC 248 (DFG): "Foundations of Perspicuous Software Systems", EUR 11,000,000 for 2018-2022
  
• PI, ERC Consolidator Grant: "Analysis, Verification, and Synthesis of Infinite-State Systems", EUR 1,835,000

SERVICE

• PC (co-)Chair: LICS (2017), RP (2014), MFPS (2011), FORMATS (2009)
  
• Steering Committee: LICS (2017 - present), MFPS (2012 - present)
  
• Associate Editor, Journal of Computer and System Sciences, Elsevier (2014 – present)
  
• PC Member of approximately 50 PCs

PUBLICATIONS

Over 130 publications in peer-reviewed international conferences and journals, including LICS/ICALP (27), CONCUR/FOSSACS (15), CAV/TACAS (10), STOC/SODA (4)

Best Paper Awards at ICALP 2014 and CONCUR 2011