!!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\\ \\