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

About

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)

Explore network

Following (7)

Explore network

Recent publications

  • Supercompilation and the Reduceron

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

    • Reich J
    N/AReaders
    N/ACitations

Professional experience

Ph.D Student

The University of York

October 2009 - Present

Education

Computer Systems and Software Engineering (MEng)

The University of York

October 2005 - July 2009(4 years)