Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
A framework for scalable ontology enrichment and change. This project aims to develop novel techniques and software systems for constructing a new generation of knowledge management applications. The results will improve current information management technologies and will be used in practical applications such as the semantic web, bioinformatics and e-sciences.