A collaborative project between BAe, Heriot-Watt University and the University of St Andrews to develop proven software for sensor exploitation with predictable resource needs.
The goal of the SCIEnce (Symbolic Computation Infrastructure for Europe)
project is to improve integration between key world-leading developers and
application experts in Symbolic Computation software systems. Such systems
form a vital infrastructural tool in areas of modern academic and commercial
research, with important applications in Mathematics, Physics, Chemistry,
Computer Science, Engineering and other technical disciplines.
Epigram is a dependently typed programming language and an interactive programming environment.
Generative Programming for Embedded Systems
This project aims to develop formally based techniques for accurately
and automatically costing and verifying the time and space usage of
automatically generated programs.
GAP (Groups, Algorithms and Programming) is a system for computational discrete algebra with particular emphasis on, but not restricted to computational group theory. GAP was developed at
Lehrstuhl D für Mathematik (LDfM), RWTH Aachen, Germany from 1986 to 1997. Following the retirement of J. Neubueser from the chair of LDfM, the development and maintenance of GAP is coordinated by the School of Computer Science at the University of St Andrews, Scotland.
The group's work comprises the development of proof assistants and theorem-provers for various logics, the exploitation of various logics for problem specification or as programming languages, and the investigation of their proof theory and semantics.
Researches algorithms and problems for combinatorial search, like vehicle routing and constraint satisfaction. We are an international group with members at St Andrews,
Glasgow,
Leeds,
Strathclyde,
Edinburgh,
and Alberta Universities.
