Research Interests: Programming languages, type theory, concurrency
Thesis Title: Performant Strict Automatic Parallelisation
Supervisor: Dr. Marco Servetto, Dr. Michael Homer