Browse/search for people

Dr Steven Ramsay

Dr Steven Ramsay

Dr Steven Ramsay
MEng(York), DPhil(Oxon.)


Office 3.36
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)

Research summary

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

Read more >


I am a Lecturer in Computer Science, with research interests in programming languages.  Previously I was a Research Assistant at the University of Oxford, a Research Fellow at the University of Warwick and an Analyst in the formal methods group at QinetiQ.

Read more >

Recent publications

Read more >

View complete publications list in the University of Bristol publications system

Edit this profile If you are Dr Steven Ramsay, you can edit this page. Login required.

All details on one page > for printing etc.