Joel Ouaknine Joel Ouaknine
Reader in Computer Science and EPSRC Leadership Fellow
Oxford University Computing Laboratory
Fellow of St John's College
Office: 409 Wolfson Building
Address: OUCL, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273 822 / Fax: +44 (0)1865 273 839
Email: REMOVE_THIS_joel@comlab.ox.ac.uk
  Short Bio
  Curriculum Vitae (PostScript / PDF)
Research: Modelling, analysis, and verification of real-time and probabilistic systems, software verification, model checking, decision procedures, concurrency, logic, and automata theory
  Publications   (see also my DBLP entry)
  Software
  Research summary as a Wordle cloud
Professional Activities
  Program Committees: 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: MFPS XXVI, AVACS 10, ICALP 10, VECoS 09, FORMATS 08, QAPL 06
Research Group
  Ph.D. Students: Ed Blakey, Christoph Haase, Maneesh Khattri, Hristina Palikareva
  Visitors and Postdocs: Phil Armstrong, Stefan Kiefer, Alexander Rabinovich, Lijun Zhang
  Former Members
Other
  Pictures
  Droit-Anglais.com: Legal information for French speakers in the UK
  frenchinoxford.co.uk: For everything French in and around Oxford
Last updated in December 2009