Browse/search for people

Dr Steven Ramsay

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