|
|
|
|
James Worrell
University Lecturer in Computer Science
Oxford University
Computing Laboratory
Fellow of Green College
|
Office: 352 Wolfson Building
Address: OUCL, Wolfson Building, Parks Road,
Oxford OX1 3QD, UK
Tel: +44 (0)1865 273 843 /
Fax: +44 (0)1865 273 839
Email: jbw_at_comlab.ox.ac.uk
|
Curriculum Vitae (PostScript /
PDF)
Research:
Modeling, analysis, and verification of real-time, probabilistic,
and infinite-state systems.
Publications
(See also my
DBLP entry)
Talks
Program Committees
23rd Annual IEEE Symposium on Logic in Computer Science
(LICS'08)
1st International Conference on Foundations of Informatics, Computing, and
Software (FICS 08)
Teaching
Hilary (Spring) 08:
Advanced
Data Structures and Algorithms
Miscellaneous
A trip
to the zoo.
What I saw on the
grassy knoll .
|
|
|
|
