School of Computer Science and Statistics
Restoring speech communication in individuals that can’t speak or have difficulty speaking (e.g., individuals with ALS) is an important challenge that could benefit many. While many solutions have been proposed that have various limitations, recent progress in machine learning methods (e.g., transformers) open new opportunities. This project aims to decode the intended speech of individuals … Read more
There is no excerpt because this is a protected post.
There is no excerpt because this is a protected post.
There is no excerpt because this is a protected post.
Cubesats are small satellites that are built as on ore more 10cm-sized cubes. There is a growing industry for developing and launching these. Typically their computing requirements are relatively low, and so they often use lightweight versions of operating systems. This project looks at using Promela/SPIN to model and do test generation for some key … Read more
RTEMS (https://www.rtems.org/) is an open-source real-time operating system widely used in aircraft and spacecraft. It offers a comprehensive API, mostly defined in terms of “managers” that provide calls to perform specific kinds of services or provide specific infrastructure. As part of an activity sponsored by the European Space Agency (ESA) we have developed a methodology … Read more
A theorem prover “reasonEq” , written in Haskell, is currently under development. It is intended to support reasoning about the meaning and correctness of programs. It supports an easy to use proof style for predicate calculus known as “equational reasoning” – very similar to the kind of algebraic reasoning used in most mathematics found in … Read more
Haskell (haskell.org) is good for developing Domain Specific Languages (DSLs). A classic example of this are financial combinators – the linked paper led to a financial services spinout (lexifi.com) that is still going strong. There is an interesting overview of using Haskell to design DSLs. I am always willing to supervise projects in this space. … Read more
*If a MSc in Statistics and Sustainability student is interested in this project, a variant of this project would be to complete it on sustainability data sets. “Reproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained … Read more
Background I’m happy to consider compelling project proposals that involve hardware, networking, security or wireless technologies. Ideally they will be well aligned with my research interests. In recent years students have worked on projects in security and crypto, VPNs, homomorphic encryption, Vehicular Networking, Distributed online control, Underwater communications, music visualisation and some fundamental Quantum Communication … Read more