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, 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: RP 12, QMC 12, LSV15Y, 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: Stefan Kiefer, Philippe Schnoebelen, Michael Tautschnig, Bjoern Wachter
  Former Members
Other
  Pictures
Last updated in March 2012