Name:	Dr A Smaill
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous 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) 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