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.
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Indexing Large Video Databases to Support Efficient Query Processing. This project aims to develop breakthrough database technology that leverages the advances in video data capturing, computer vision based object recognition, multimedia tagging, large scale database systems and parallel processing, to provide the capability of managing massive video data with enriched semantic information and enabling database-like flexible and efficient video information search. It is expected to establish a n ....Indexing Large Video Databases to Support Efficient Query Processing. This project aims to develop breakthrough database technology that leverages the advances in video data capturing, computer vision based object recognition, multimedia tagging, large scale database systems and parallel processing, to provide the capability of managing massive video data with enriched semantic information and enabling database-like flexible and efficient video information search. It is expected to establish a new data management and processing foundation for big video data analytics.Read moreRead less