Programming languages, parallel computation, foundations of programming, and symbolic computation. My focus area is the implementation of parallel functional languages.
Research keywords:
Programming Languages; Parallel and High-performance Computing; Symbolic Computation
Phone:
0131 451 3421
Email (optional - published on profile page):
University: