Applicants must have a minimum of a UK upper second class honours degree (2.1), or equivalent, in computer science or artificial intelligence. If English is not your first language, you must provide evidence that you meet the University’s minimum English Language requirements.
Months of entry
Functional languages like Haskell simplify the task of implementing algorithms on parallel hardware. However, performance bottlenecks remain, not least from the complex memory hierarchy of modern architectures and costs from moving data. This PhD will develop high-level functional abstractions that capture low-level resources and costs, in order to shape resource use through choices at compile-time and through combinators that deliver tailored run-time evaluation strategies. The PhD will address execution contexts including SMP, distributed-memory, and GPU computing, building on work at Leeds on high-performance computational science, and advances in FP including type-level programming and monadic abstractions over low-level hardware.
Keywords: Functional programming, parallel programming, high performance computing, Haskell
Fees and funding
This scholarship is part of Leeds Anniversary Research Scholarship scheme.
Qualification and course duration
Course contact details
- David Duke