Joel Ouaknine Joel Ouaknine
Professor of Computer Science
Department of Computer Science, Oxford University
Fellow of St John's College
Department of Computer Science
Office: 414 Wolfson Building
Address: Dept. of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273 822 / Fax: +44 (0)1865 273 839
Email: REMOVE_THIS_joel@cs.ox.ac.uk

  Short Bio
  Long CV / Short CV

  NEW!   Four Postdoc Positions Available (deadline 24 August 2015):
  Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity
  Counter Automata: Verification and Synthesis

— Inquiries very welcome —

  ERC Consolidator Grant 2015-2020
  On the Skolem Problem for continuous linear dynamical systems. Submitted, 2015
  The Polyhedral Escape Problem is decidable. Submitted, 2015
  Proving the Herman-Protocol Conjecture. Submitted, 2015
  On the complexity of the Orbit Problem accepted to JACM (subject to minor corrections), 2015
  On linear recurrence sequences and loop termination (a survey) @ ACM SIGLOG News 2(2), 2015
  On the complexity of linear arithmetic with divisibility @ LICS 15
  On matrix powering in low dimensions @ STACS 15
  On termination of integer linear loops @ SODA 15
  The Polyhedron-Hitting Problem @ SODA 15
  Ultimate Positivity is decidable for simple linear recurrence sequences @ ICALP 14 (Best Paper Award)
  On the Positivity Problem for simple linear recurrence sequences @ ICALP 14
  Advances in parametric real-time reasoning @ MFCS 14
  Positivity problems for low-order linear recurrence sequences @ SODA 14
  The Orbit Problem in higher dimensions @ STOC 13

Research: Automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity); logic and applications to verification; decision and synthesis problems for linear dynamical systems; automated software analysis; concurrency; theoretical computer science
  Publications   (see also DBLP)
  Software
  Funding

Professional Activities
  Program Committees: Bellairs 15 (organiser), RP 15, RV 15, ICALP 15, MFPS XXXI, LATA 15, RP 14 (co-chair), SCSS 14, Dagstuhl Seminar 14141 (co-organiser), MFPS XXX, CSL-LICS 14, MFPS XXIX, WoLLIC 13, CAV 13, ESOP 13, MOVEP 12, QFM 12, CAV 12, VECoS 11, MFPS XXVII (chair), CONCUR 11, RTRTS 10, GPMFV 10, VECoS 10, FORMATS 10, MOVEP 10, EPEW 10, MFPS XXV, FORMATS 09 (co-chair), QEST 09, STACS 09, FORMATS 08, SPIN 08, QEST 08, FORMATS 07, PAuL 07, CSL 07, QAPL 07, HSCC 07, EXPRESS 06, FORMATS 06, LICS 06, AVIS 04
  Invited Talks: Heilbronn Conference 2015, FFM 15, GDR-IM 15, TbiLLC 15, LMS/BCS-FACS 14, VTSA 14, GandALF 14, AISS 14, SCSS 13, FroCoS 13, FCT 13, LATA 13, RP 12, QMC 12, LSV15Y, Needham Lecture 2010, ICALP 10, MFPS XXVI, AVACS 10, VECoS 09, FORMATS 08, QAPL 06
  Associate Editor of the Journal of Computer and System Sciences (JCSS)

Research Group
  PhD Students: Ventsi Chonev, Joao Sousa Pinto
  Former Members

Other
  Pictures