School of Computer Science and Statistics
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
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
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
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. Please get in touch 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 … Read more
The perception of speech has been studied extensively, due to its importance in our society. Sign language is an alternative form of communication, primarily adopted by individuals that are deaf, with severe hearing impairment, or with severe difficulties speaking to physically speak. However, it is unknown how the brain of the “listener” transforms sign language … Read more
The historical records in question relate to the tenant lists (rent rolls) for Coolattin, a major landed estate in Wicklow belonging to Earl Fitzwilliam, in the mid 19th century. The National Library has the estate papers, which include bound volumes of beautiful estate maps by townland, each with a list of tenants and the size … Read more