OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
Dusko Pavlovic
(I just started this page, and most links just point to my page at Kestrel.)
Selected publications
Math and Logic
Semantics of computation
Software specifications
Coalgebra
Security
Quantum computation
Search and network computation
Recent talks
The
bibtex file
contains a more complete list of my publications.