Scalable Language Specification 2013

  • Kevin Hammond | University of St Andrews

Compositional resource analysis in Hume using automatic amortisation

Speaker Details

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.

    • Portrait of Jeff Running

      Jeff Running