OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
People
Research Staff
Andrew Ker
(
publications
)
Gavin Lowe
(
publications
)
(
tools
)
Andrew Martin
(
publications
)
Bill Roscoe
(
publications
)
(
tools
)
Research Students
Chris Dilloway
(
publications
)
Jian Huang
(
publications
)
Allaa Kamil
Toby Murray
(
publications
)
Long Nguyen
(
publications
)
Recent Members
Michael Goldsmith
(
publications
)
Philippa Hopcroft (Broadfoot)
(
publications
)
Gordon Rohrmair
(
publications
)
Eldar Kleiner
(
publications
)