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

Personal profile

Research interests

I research mathematical theories for reasoning about computation, and put them to use in programming tools.  See my homepage for more details.


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.
  • 1 Similar Profiles