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.

                                                                                                       

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.

Program Committees

Please consider submitting papers to the following:

TFP 2012                2012 Symposium on Trends in Functional Programming
                                St Andrews, UK, June 12-14 2012
                               Deadline: 26th March 2012

WCET 2012            International Workshop on Worst-Case Execution Time Analysis,
                                Pisa, Italy, July 2012

FD-COMA 2012     Workshop on Feedback-Directed Compilation for Multicore Architectures,
                                Paris, France, January 2012
                                Deadline: 4th November 2011

DAMP 2012            International Workshop on Declarative Aspects of Multicore Programming,
                                Philadelphia, USA, January 2012

IFL 2011                 Symposium on Implementation and Application of Functional Languages
                                Lawrence, Kansas, USA, October 3-5 2011

WCET 2011            International Workshop on Worst-Case Execution Time Analysis
                                Porto, Portugal, July 5 2011

TFP 2011                Symposium on Trends in Functional Programming
                                Madrid, Spain, May 16-18 2011

FOPARA 2011        Workshop on Foundational and Practical Aspects of Resource Analysis
                                Madrid, Spain, May 19 2011

ICOOOLPS 2011    Workshop on Implementation, Compilation, Optimisation of
                                Object-Oriented Languages, Lancaster, UK, July 26th 2011

I will be participating in a panel discussion at the 16th International Conference on Reliable Software Technologies in Edinburgh in June 2011.

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 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.