Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Our Students
  3. Online Resources & Handbooks
  4. Student projects - Programming Language Semantics

Programming Language Semantics

Supervisor

Personal photo - Michael Spivey Mike Spivey

Suitable for

MSc in Computer Science

Abstract

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

N.B This project is not available to MSc students in 2016-17.

Our Students

Back to Top