(Email addresses are: Firstname.Lastname@cs.york.ac.uk)
| Kieran Clenaghan | is a visiting researcher, interested in algebras for algorithm calculation. |
| Guanhua He | is a research student, studying machine-supported reasoning about FP. |
| Paritosh Ingole | is a research student, applying parallel FP to search for cryptological functions. |
| Neil Mitchell | is a research student, working on static analyses to check whether programs could fail at run-time. |
| Matthew Naylor | is a research student interested in program testing and circuit design, particularly in relation to functional programming. |
| Colin Runciman | is a Professor, and leads the FP group. He is interested in almost all aspects of FP. He is a member of IFIP WG2.8, an international working group on FP, and of the Steering Committee for ICFP the main international conference in FP. |
| Tom Shackell | is a research student working on improved methods for generating and examining traces of Haskell programs. |
| Malcolm Wallace | is a post-doctoral researcher who has previously worked on the Hat tracer, combinator libraries for XML processing, and techniques for running lazy functional programs on embedded systems. His continuing interests include development tools for functional languages; he maintains the nhc98 Haskell compiler, and hmake. |
Page last updated 4 October 2005