EPSRC logo
Researcher Details
 
Name: Professor UH Martin
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/R03169X/1 Extension: MathSoMac: the social machine of mathematics(P)
Previous EPSRC Support
EP/K040251/2 MathSoMac: the social machine of mathematics(P)
EP/K040251/1 MathSoMac: the social machine of mathematics(P)
EP/H500162/1 Knowledge Transfer Account - Queen Mary, University of London(P)
EP/F019882/1 EPSRC Access to Materials Research Equipment - 3D ESEM(C)
EP/F02309X/1 Extreme Reasoning(C)
GR/T09231/01 NETWORK:EPSRC Network for women in computing research(P)
GR/R40142/02 NETWORK: NetCA(P)
GR/S31242/01 Logic structures for control(P)
GR/R29666/01 Constraint Programming, Search and Symmetry(C)
GR/R40142/01 NETWORK: NetCA(P)
GR/M98340/01 ROPA: EVALUATION, DESIGN AND VALIDATION OF EXACT REAL COMPUTATION IN A PROBLEM SOLVING ENVIRONMENT(P)
GR/M32351/01 JREI:DISTRBUTED SOFTWARE SYSTEMS(C)
GR/L48256/01 EMBEDDED VERIFICATION TECHNIQUES FOR COMPUTER ALGEBRA SYSTEMS(P)
GR/K75767/01 GEOMETRY INVARIANTS AND TERMINATION(P)
GR/J31230/01 SBCC: COMPUTATIONAL SCIENCE (MATHS) ALGEBRAIC APPLICATIONS OF AUTOMATED REASONING TECHNIQUES(P)
GR/J59227/01 IED1/4/1477 VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS(P)
GR/F38839/01 AN INTEGRATED HARDWARE SPECIFICATION, SIMULATION AND VERIFICATION ENVIRONMENT(C)
GR/F35364/01 IED1/4 1477 VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS(P)
GR/F69529/01 THE LOGICAL BASIS OF TERM REWRITING HARDWARE SUPPORT(P)
GR/E83634/01 EQUATIONAL REASONING IN A PROJECT SUPPORT ENVIRONMENT(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator