EPSRC logo
Researcher Details
 
Name: Dr A Smaill
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Networks & Distributed Systems Parallel Computing
Software Engineering

Current EPSRC Support
EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/L01503X/1 EPSRC Centre for Doctoral Training in Pervasive Parallelism(C)
Previous EPSRC Support
EP/J001058/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
EP/F035594/1 A cognitive model of axiom formulation and reformulation with application to AI and software engineering(P)
EP/G009228/1 Alan Bundy Symposium(P)
EP/E005713/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes.(C)
GR/S25388/01 The Application of Deductive Synthesis Techniques to the Rapid Assembly of Grid Applications(C)
GR/S01771/01 Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
GR/M46624/01 MECHANISING FIRST - ORDER TEMPORAL LOGICS(P)
GR/M45030/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
GR/L11724/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
GR/J80702/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
GR/H23610/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
GR/F71799/01 COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator