Dr Steven J Ramsay

MEng(York), DPhil(Oxon.)

  • BS8 1UB

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

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 J Ramsay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

  • 7 Conference Contribution (Conference Proceeding)
  • 2 Article (Academic Journal)

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 proceedingConference Contribution (Conference Proceeding)

  • 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 journalArticle (Academic Journal)

    Open Access
    File
  • 357 Downloads (Pure)

    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 proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
  • 2 Citations (Scopus)
    32 Downloads (Pure)