EPSRC logo
Researcher Details
 
Name: Dr RL McCasland
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/F033559/1 Automated Theorem Discovery(R)
EP/E005322/1 Automated Reasoning in Large Structured Theories(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator