Jason S. Reich, Computer Science

Ph.D Student, The University of York
York, United Kingdom

Research field: Computer and Information Science - Programming Languages
Programming languages
Functional programming
Semantics
Verification

Publications

Conference Proceedings (1)
- Jason S Reich, Matthew Naylor, Colin Runciman (2010) Supercompilation and the Reduceron, 159 -- 172. In Proceedings of the Second International Valentin Turchin Memorial Workshop on Metacomputation in Russia.
  Download PDF (301.68 KB)
Thesis (1)
- Jason S. Reich (2009) Optimus Prime: A new tool for interactive transformation and supercompilation of functional programs..

Awards and Grants

Oct 2009

EPSRC Studentship with LSCITS View website

Biographical Information

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.

CV

Professional Experience

2009 - Present

Ph.D Student at The University of York
York, United Kingdom
Classes taught:
Code Generation and Optimisation (Demonstrator)
Logic Programming and Artificial Intelligence (Demonstrator)
Introduction to Computer Mathematics (Demonstrator)
Functional Programming (Demonstrator)

Education

Oct 2005 - Jul 2009

The University of York in York, United Kingdom
Computer Systems and Software Engineering (MEng)