Skip to content

Jason S. Reich

  • Computer Science
  • Ph.D Student
  • University of York Institute for the Public Understanding of the Past
  • 2PublicationsNumber of items in Jason S.'s My Publications folder on Mendeley.
  • 11Followers

Research interests

Programming languages Functional programming Semantics Verification


I am a Ph.D student within the Programming Languages and Systems (PLASMA) research group. My Ph.D, co-supervised by Professors Colin Runciman and Richard Paige, is investigating the formal verification of functional language implementations. My interests generally lie within the topics of functional languages (in particular, Haskell), semantics and formal methods.

Followers (11)

  • John Atkinson

    John Atkinson

  • Laurence E. Day

    Laurence E. DayUniversity of Nottingham School of Computer Science

  • Daniel Moyo

    Daniel MoyoUniversity of York, UK

  • Gareth Lloyd

    Gareth LloydUniversity of York Department of Computer Science

  • Gary Plumbridge

    Gary PlumbridgeUniversity of York

  • David George

    David GeorgeUniversity of York

Explore network

Following (7)

Explore network

Publications (2)

  • Supercompilation and the Reduceron

    • Reich J
    • Naylor M
    • Runciman C
  • Optimus Prime: A new tool for interactive transformation and supercompilation of functional programs

    • Reich J

Professional experience

Ph.D Student

The University of York

October 2009 - Present


Computer Systems and Software Engineering (MEng)

The University of York

October 2005 - July 2009(4 years)