Simon Peyton Jones's PhD student, currently working on practical supercompilation for Haskell in the context of the Glasgow Haskell Compiler.