Dr Steven Ramsay

MEng(York), DPhil(Oxon.)

  • BS8 1UB

20112020

Research output per year

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

Personal profile

Research interests

I am interested in automated reasoning and programming languages.  I work on methods for automatically constructing proofs that programs, and especially higher-order programs, will be well behaved when they are run.  In practice, this is a combination of the following areas:

  • Lambda calculus and type systems
  • Higher-order logic
  • Functional programming
  • Automata theory, computability and complexity
  • Software verification

Fingerprint

Dive into the research topics where Steven Ramsay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
If you made any changes in Pure these will be visible here soon.