School of Computer Science and Statistics
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
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
Currently, academics receive PDF copies of dissertations and assess these dissertations by reading them, grading various rubrics in evaluation forms, commenting on their views, and consulting with a 2nd examiner about an agreed mark. This project will investigate the development of a system that analyses submitted PDF copies with the help of Artificial Intelligence eg. … Read more
Kubernetes provides an orchestration and runtime system for micro-services based on containers. The implementation of this virtualised infrastructure is based largely on communication using TCP and HTTP. In contrast, current web browsers and web servers are using QUIC, HTTP/3 and WebTransport to communicate as well. This project will investigate the use of QUIC, HTTP3 and … Read more
Launched in June 2025, the Knowledge Graph of Irish History (kg.virtualtreasury.ie) uses W3C based knowledge graph technologies to represent places and selected Irish people across history and links them to historical records contained in the Virtual Record Treasury of Ireland (virtualtreasury.ie). In the next phase the knowledge graph is being expanded to other entities (such … Read more
** This project is only available for students in the MSc in Statistics & Sustainability programme ** The Behavioural Economics Unit of the Sustainable Energy Authority of Ireland (SEAI) commissioned the national survey entitled Behavioural Energy and Travel Tracker (BETT). According to the website (https://www.seai.ie/data-and-insights/behavioural-insights/publications/bett-dataset), “The tracker uses a behavioural science technique known as the … Read more
Reinforcement learning (RL) and especially deep reinforcement learning have emerged as powerful paradigms for learning quasi-optimal sequential decision making strategies (in applications as diverse as game playing and urban traffic control). RL uses an approach based on’ trial and error’ in which agents learn by interacting with their environment. Most RL algorithms assume that the … Read more
Poor travel-time reliability, meaning that travel times for the same journey are highly variable and unpredictable, gives rise to similar negative impacts on the environment and the economy as does traffic congestion. Moreover, being able to offer a high degree of travel-time reliability will facilitate the uptake of sustainable road transportation including future public, shared, … Read more
Offering predictable journey times is important to the uptake of sustainable road transportation including future public, shared, and on-demand mobility services and to on-time delivery of goods. To achieve such predictability, the ClearWay [1] project at TCD is exploring ‘slot-based driving’ (SBD) as a strategy for active management of roads (especially highways). SBD abstracts traffic … Read more
Poor travel-time reliability, meaning that travel times for the same journey are highly variable and unpredictable, gives rise to similar negative impacts on the environment and the economy as does traffic congestion. Moreover, being able to offer a high degree of travel-time reliability will facilitate the uptake of sustainable road transportation including future public, shared, … Read more