University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Programming Language Semantics

Supervisor

Suitable for

MSc in Computer Science

Abstract

Mike Spivey is willing to supervise projects in the area of Programming Language Semantics