Skip to content

Dr Steven J RamsayMEng(York), DPhil(Oxon.)

Lecturer

Steven Ramsay

Dr Steven J RamsayMEng(York), DPhil(Oxon.)

Lecturer

Member of

Research interests

I am interested in programming languages, in particular the problem of how to automate logical reasoning about programs.  I have a special focus on the verification of functional programs.  My research is engaged in the following broad themes:

  • Lambda calculus and type systems
  • Higher-order logic
  • Functional programming
  • Automata over infinite alphabets
  • Software verification

View research connections

Postal address:
Merchant Venturers Building
Woodland Road
Clifton
Bristol
United Kingdom