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

• Murawski, AS, Ramsay, SJ & Tzevelekos, N, 2019, ‘DEQ: Equivalence Checker for Deterministic Register Automata’. in: Yu-Feng Chen, Chih-Hong Cheng, Javier Esparza (eds) ATVA 2019: Automated Technology for Verification and Analysis. Springer, pp. 350-356
• 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