My planned teaching in 2012-13 includes contributions to the first-year module Mathematical Foundations of Computer Science and to the second-year module Systems Software and Compilers.
For a list of research publications see my Google Scholar profile.
I am Tools and Applications Editor for the Journal of Functional Programming.
I am a member of IFIP WG 2.8, an international working group on functional programming.
I am a member of the 2012 programme committees for ICFP, the ACM SIGPLAN international conference on functional programming, and for the Haskell Symposium.
E-MAIL: Colin.Runciman at cs.york.ac.uk PHONE: +44 1904 325628 POST: Dept. of Computer Science, The University of York Deramore Lane, Heslington, YORK YO10 5GH United Kingdom