EPSRC logo
Researcher Details
 
Name: Dr G Grov
Organisation: Heriot-Watt University
Department: S of Mathematical and Computer Sciences
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
Previous EPSRC Support
EP/M018407/1 DTacs - Program Verifier Tactics : Reducing the Development Time for Program Verifiers with re-usable Verification Strategies(P)
EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/H023852/1 AI4FM: using AI to aid automation of proof search in Formal Methods(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator