Parikh’s Theorem is a fundamental result in automata theory with numerous applications in computer science. These include software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic protocols (e.g. using Horn clauses modulo equational theories) and database querying (e.g. evaluating path-queries in graph databases), among others. Parikh’s Theorem states that the … full description “Parikh’s Theorem for Symbolic Register Automata (available)”
Project List
Prototyping access to FAIR digital objects (available)
Open data drives much of research. The FAIR principles are a set of general principles on how to enable sharing of open data. The workflow for programmatic access of such data requires developing an understanding of the API (usually with RESTful interface) of the relevant data set even if one has the relevant Persistent Identifier … full description “Prototyping access to FAIR digital objects (available)”
Quantum computing without quantum computers (available)
Quantum Technologies (QT) may revolutionise data science but are often unreliable. Classical and quantum noise makes most of the existing systems highly unstable. This generalised unreliability has limited their applicability to real-world computational problems. In special cases, quantum systems can be simulated on classical computers. As classical simulations are noise-free, they can be used to … full description “Quantum computing without quantum computers (available)”
Security Evaluation of Broadcasting Network – Protecting the Entertainment Media (available)
Project Description With an increase in the use of internet technologies in various fields, the traditional broadcasting industry also started to adopt systems, software and services based on internet technologies to provide their contents to viewers. Most of the connected media devices deployed still tend to have a low-security threshold inherited from the era of … full description “Security Evaluation of Broadcasting Network – Protecting the Entertainment Media (available)”
Self-localisation of drones using machine learning (available)
Drones are cool, but sometimes things go wrong. Imagine a drone is exploring an area, and all of a sudden the GPS signal becomes unreliable. How can the drone estimate its location, and avoid getting lost? Perhaps we can use data from its sensors and picture from the camera. In this project, we would like … full description “Self-localisation of drones using machine learning (available)”
Smart cars – Accident scene reconstruction (available)
Smart cars have a number of sensors monitoring the status of the vehicle and at the same time assisting the driver. These sensors traditionally monitor temperature, battery levels, etc. They are relatively simple circuits that may also alert the driver for possible vehicle damage. Some of these are also working towards collision mitigation by monitoring … full description “Smart cars – Accident scene reconstruction (available)”
Smart Home Privacy Framework – Giving Right of Data Control to Individual Users (available)
Project Description The smart home is a collection of intelligent sensors and actuators that collect information of their vicinity with varying granularity. The collected data is of various formats audio, video, action (turn on and off buttons) and text, etc. Furthermore, these sensors will be collecting data from every person active in the vicinity. Separating … full description “Smart Home Privacy Framework – Giving Right of Data Control to Individual Users (available)”
Software framework implementation for air quality monitoring system (available)
The project requires the installation and use of commercially developed Python based software packages on a Raspberry Pi 3 board which access commercial sensors to measure air quality. The software has calibration, data acquisition and data storage functions. The hardware platform is based around 4 air contaminants Alphasense sensors mounted on an Alphasense AFE (analogue … full description “Software framework implementation for air quality monitoring system (available)”
Speak to Pay – Voice and Chip Payment Framework (available)
Project Description Payment architectures are in constant evolution, from Chip&Pin to contactless to facial-recognition based transactions. Also, with the advent of smart assistants like Siri, Amazon Alexa, and Google Assistant takes a cue from their respective users through voice commands. This project will explore the potential of using voice recognition/control as an authorisation of an … full description “Speak to Pay – Voice and Chip Payment Framework (available)”
Transparent Governance – Technology to hold Public/Private Sector to Account (available)
Project Description The costs to society of government corruption and low accountability are staggering. Countries on every continent struggle with entrenched corruption and opaque government processes, from graft and diversion of public funds to non-competitive procurement bidding processes. For several countries, public corruption is their single-largest challenge, costing the loss of funds, loss of opportunity, … full description “Transparent Governance – Technology to hold Public/Private Sector to Account (available)”
Transparent Supply Chain – Know the provenance of products in superstores (available)
Project Description Blockchain platform provides an immutable temporal record which can be utilised to collect transactional data throughout the supply chain. This can potentially offer an immutable provenance of individual goods/products with full traceability from source to store. A transparent supply chain creates an opportunity to optimise supply-and-demand management, build resilience and ultimately enable more … full description “Transparent Supply Chain – Know the provenance of products in superstores (available)”
Video Action Classification (available)
Automatic interpretation of human actions from realistic videos attracts increasing research attention owing to its growing demand in real-world deployments such as biometrics, intelligent robotics, and surveillance. In this project, we will explore a variety of deep neural networks for video action classification, owing to their great efficiency in spatial-temporal feature learning.
Visualising global accessibility of open data resources via traceroute (available)
Research depends on data that is openly available. Recently, it has become clear that access to repositories that store these data sets is variable across the country that accesses the data. This can be due to poor connectivity for Lower income countries to countries that are actively blocked from accessing specific sites. A set of … full description “Visualising global accessibility of open data resources via traceroute (available)”
Visualising Interactions Between Developers During Code Review (available)
Code review (sometimes referred to as pull request) is a code change auditing technique done by developers other than the author of the change. Recent studies demonstrated diverse benefits of code review. For example, Bacchelli and Bird reported that code review is effective to share knowledge between developers and to improve code changes [1]. In … full description “Visualising Interactions Between Developers During Code Review (available)”