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