Dr Steven Ramsay

MEng(York), DPhil(Oxon.)

    • BS8 1UB

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Research interests

    I research mathematical theories for reasoning about computation, and put them to use in programming tools.  See my homepage for more details.