EPSRC logo
Researcher Details
 
Name: Dr G Reger
Organisation: University of Manchester, The
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/V000209/1 CAPS: Collaborative Architectures for Proof Search(P)
EP/V000497/1 SCorCH: Secure Code for Capability Hardware(P)
Previous EPSRC Support
EP/P03408X/1 QuTie: reasoning with Quantifiers and Theories(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator