|
Joel Ouaknine Professor of Computer Science Department of Computer Science, Oxford University Fellow of St John's College |
|
||
|
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 |
In August 2016 I will be joining
the Max Planck Institute for Software
Systems (MPI-SWS) in Saarbruecken as Scientific Director
ERC Consolidator Grant 2015-2020
On the Polyhedral Escape
Problem for linear dynamical systems.
Submitted, 2016
On the Skolem Problem for
continuous linear dynamical systems @
ICALP 16
Proving the
Herman-Protocol Conjecture @
ICALP 16
On recurrent
reachability for continuous linear dynamical systems @
LICS 16
Solvability of
matrix-exponential equations @
LICS 16
On the complexity
of the Orbit Problem to appear in JACM, 2016
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
Program Committees:
LICS 17 (chair),
Highlights 16,
MFCS 16,
MFPS 16,
DCPS 16,
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:
FoSSaCS 17,
EQINOCS 16,
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)
PhD Students:
Joao Sousa Pinto
Postdocs:
Amaury Pouly,
Nathanael Fijalkow, Dmitry Chistikov, Shaull Almagor
Former Members