Office 3.36
Merchant Venturers Building,
Woodland Road,
Clifton
BS8 1UB
(See a map)
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:
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.
View complete publications list in the University of Bristol publications system
Edit this profile If you are Dr Steven Ramsay, you can edit this page. Login required.
All details on one page > for printing etc.