Joel Ouaknine Joel Ouaknine
Professor of Computer Science and EPSRC Leadership Fellow
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
  CV (PostScript / PDF)
Research: Verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, decision problems, complexity); logic and applications to verification; software analysis; concurrency; automata theory
  Publications   (see also DBLP)
  Software
  Funding
  Wordle
Professional Activities
  Program Committees: ESOP 13, 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: Needham Lecture 2010, ICALP 10, MFPS XXVI, AVACS 10, VECoS 09, FORMATS 08, QAPL 06
Research Group
  PhD Students: Daniel Bundala, Ventsi Chonev, Christoph Haase, Hsi-Ming Ho, Vincent Nimal, Hristina Palikareva
  Visitors and Postdocs: Jade Alglave, Phil Armstrong, Stefan Kiefer, Michael Tautschnig, Bjoern Wachter
  Former Members
Other
  Pictures
  Links
Last updated in September 2011