Computer Laboratory

Faculty of Computer Science and Technology

(photo)

Jon French

Research assistant in the REMS group under Peter Sewell, working on semantics-based emulation of multiprocessor systems.

Projects