The application of deductive synthesis techniques to the rapid assembly and re-assembly of grid applications
Alan Bundy, Alan Smaill · Edinburgh Research Explorer (University of Edinburgh) · 2002
Previous Track RecordThe applicants are members of the Mathematical Reasoning Group (mrg), which is part of the Centre for Intelligent Systems and their Applications within the Division of Informatics at the University of Edinburgh.The Division of Informatics was one of only six computing departments in UK to have obtained a 5* ranking in the 2001 Research Assessment Exercise.It returned the highest number of research active staff and was the only 5*A department.It contains world-class research groups in the areas of theoretical computer science, artificial intelligence and cognitive science. The Mathematical Reasoning GroupSince the mid 1970s, the mrg has been engaged on the computational analysis, development and application of mathematical reasoning processes and their interactions.Its work is characterised by its unique blend of computational theory with artificial intelligence (http://dream.dai.ed.ac.uk/).The processes studied by mrg have included theorem proving via proof methods, proof patching, analogy, symmetry, abstraction, diagrams and reflection; the learning of new proof methods, the formalisation of informally stated problems, the formation of concepts and conjectures and the interaction of automated systems with human users.The applications of mrg's work have been to: proof by mathematical induction and co-induction; analysis, including non-standard analysis; mechanics problems; the building of ecological models; the synthesis, verification, transformation and editing of both hardware and software, including logic, functional and iterative programs and process algebras; the configuration of hardware; game playing; and cognitive modelling.Since the mid 1980s, it has produced over 300 publications, trained 17 research fellows and 41 PhD students, two of whom have won the BCS/CPHC Distinguished Dissertations Award.It has been supported by over 40 research grants, including an epsrc rolling funding grant , and it has just been awarded an epsrc platform grant.