Kevin Hammond


I'm a (full) Professor in Computer Science, in the School of Computer Science, at the University of St. Andrews, St. Andrews, Scotland, where I lead the Functional Programming research group.  I am also an Honorary Professor at Heriot-Watt University, Edinburgh, Scotland.  My main interests are in cost modelling, parallelism and real-time and embedded systems. Please email me if you are interested in undertaking a PhD in my area.


PhD Studentships for 2015/16 Entry

The School of Computer Science has several fully-funded PhD studentships available to UK and EU students.   Please contact me if you are interested in any aspect of our research, including:

Parallel Functional programming; Heterogeneous multicores (including CPU/GPU combinations); Refactoring; Program Generation; Domain Specific Languages; Static Analysis; Patterns of computation; Machine-Learning; Compilation; Real-time functional programming (e.g. in Hume); Semantics of Programming Languages; Functional cloud computing;  Functional Programming and Security; Dependent Types; Effects and other extra-functional properties; Relaxed memory consistency; Multicore programming; Formal concurrency models; Concurrency verification; Application of functional ideas to other paradigms, including C and C++; Data Analytics.  We work with various functional languages including Haskell, Erlang, idris, OCAML, Hume and F#.

We have excellent links with both academic and industry, and are coordinating the EU Framework 7 ParaPhrase project, which involves 13 partners from 8 European countries:, and the new EU Horizon 2020 RePhrase project, which involves 8 partners from 8 European countries:

Please contact me to discuss possible project ideas.  Applications should be made through:

HLPGU 2016 Workshop in Prague, January 2016

We are organising a workshop on High-Level Programming for Heterogeneous and Hierarchical Parallel Systems in association with the HiPEAC annual conference.

Haskell Workshop in Leipzig

My slides on “ParaForming” (Refactoring for Parallelism in Haskell) are available here.

Ada Connection 2011

My slides on the panel discussion on multicore are available here.

SICSA PhD Conference 2011

My slides on conference publication are available here.

Membership of Steering Committees etc.

I am a Senior member of the Association for Computing Machinery (ACM), including the Special Interest Group on Programming Languages.

I am a member of the EPSRC peer review college.

I am an honorary Professor of Heriot-Watt University.

I am a charter member of IFIP Working Group 2.11 (Generative Programming).

I am a member of the advisory board for EuroPar, the European Conference on Parallelism.

I am a member of the Steering Committee for the International Symposia on Applications and Implementations of Functional Programming (IFL).

I am a member of the Steering Committee for the International Symposia on Trends in Functional Programming (TFP).

I am the UK representative for the TACLe Cost Action on Timing Analysis.

I was a member of the Haskell Committee, and I am co-designer of Hume.

With Greg Michaelson, I administer the Peter Landin Prize for the best paper each year at IFL.

Professor in Computer Science

Research Profile on PURE
My ACM Author Profile