EPSRC logo
Researcher Details
Name: Professor G Hutton
Organisation: University of Nottingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/Y010744/1 Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers(P)
Previous EPSRC Support
EP/P00587X/1 Mind the Gap: Unified Reasoning About Program Correctness and Efficiency(P)
EP/F057164/1 British Colloquium for Theoretical Computer Science (BCTCS) 2008-2010(C)
EP/E04350X/1 Reasoning About Exceptions and Interrupts(P)
EP/E050557/1 Midlands Graduate School in the Foundations of Computing Science 2007-2009(P)
EP/C00745X/1 British Colloquium for Theoretical Computer Science (BCTCS) 2005-2007(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator