Dr Steven Ramsay

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 >

Biography

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 >

Links

• Publications on DBLP

Recent publications

• Burn, TC, Ong, L & Ramsay, S, 2018, ‘Higher-order constrained horn clauses for verification’. Proceedings of the ACM on Programming Languages, vol 2.
• Murawski, AS, Ramsay, SJ & Tzevelekos, N, 2018, ‘Polynomial-time equivalence testing for deterministic fresh-register automata’. in: Igor Potapov, James Worrell, Paul Spirakis (eds) 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Read more >

View complete publications list in the University of Bristol publications system