Matthew Naylor's Web Page

photo (Click on Road-Runner for a real photo.)

I am a member of the PLASMA research group here at York. I was an EPSRC-funded research student from October 2004 to October 2008, and wrote a thesis in which the two main developments were the Reduceron and Lazy SmallCheck. After that, I was an EPSRC-funded research associate until March 2010, continuing work on the Reduceron. I am now a teaching fellow of the department, leading Code Generation and Optimisation, Lexical and Syntax Analysis, and Systems and Compilers.

Matthew Naylor
Department of Computer Science
University of York
Deramore Lane
York YO10 5GH

PHONE:  +44 (0)1904 325668
EMAIL:  mfn at cs dot york dot ac dot uk
OFFICE: CSE/236