Projects per year
Personal profile
Research interests
I am interested in automated reasoning and programming languages. I work on methods for automatically constructing proofs that programs, and especially higher-order programs, will be well behaved when they are run. In practice, this is a combination of the following areas:
- Lambda calculus and type systems
- Higher-order logic
- Functional programming
- Automata theory, computability and complexity
- Software verification
Fingerprint
Dive into the research topics where Steven Ramsay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Projects
- 1 Active
Research Output
-
DEQ: Equivalence Checker for Deterministic Register Automata
Murawski, A. S., Ramsay, S. J. & Tzevelekos, N., 21 Oct 2019, ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 350-356 7 p. (Programming and Software Engineering [Lectures in Computer Science]; vol. 11781).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile -
Higher-order constrained horn clauses for verification
Cathcart Burn, T., Ong, L. & Ramsay, S., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, 28 p., 11.Research output: Contribution to journal › Article (Academic Journal)
Open AccessFile -
Polynomial-time equivalence testing for deterministic fresh-register automata
Murawski, A. S., Ramsay, S. J. & Tzevelekos, N., 1 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 117. 14 p. 72. (Leibniz International Proceedings in Informatics (LIPIcs)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile