EPSRC logo
Researcher Details
Name: Dr S J Ramsay
Organisation: University of Bristol
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/T006595/1 Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs(P)
Previous EPSRC Support
There is no previous EPSRC Support
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator