Search
Clear all filters
DP Peter Ortmann
Instrumenting Cloud Systems for Scalability and Resilience
Instrumenting Cloud Systems for Scalability and Resilience

About the Project Cloud computing is essential for global connectivity. It empowers businesses, governments, and individuals to create and use cloud-based services for various everyday systems, including critical fields such … Read More Read More

Categories:
DP Aly Hill
Software Modelling and Optimization for AI Computing Architectures
Software Modelling and Optimization for AI Computing Architectures

About the Project The Centre for Electronics Frontiers (CEF) led by Regius Chair of Engineering Prof Prodromakis, brings together diverse and interdisciplinary expertise for transforming modern society through technology. Our … Read More Read More

Categories:
DP Aly Hill
Large-Scale Digital AI systems for Large Language Models (LLMs)
Large-Scale Digital AI systems for Large Language Models (LLMs)

About the Project The Centre for Electronics Frontiers (CEF) led by Regius Chair of Engineering Prof Prodromakis, brings together diverse and interdisciplinary expertise for transforming modern society through technology. Our … Read More Read More

Categories:
DP Jim Taylor
Automatically Detecting, Reproducing and Fixing Flaky Software Tests
Automatically Detecting, Reproducing and Fixing Flaky Software Tests

About the Project The cost of software failures is a huge burden to the worldwide economy that was estimated to be at least £1.3 trillion in 2017. Consequently, software testing, … Read More Read More

Categories:
DP Antonio Sanchez
Supporting ethical deliberation in the software lifecycle
Supporting ethical deliberation in the software lifecycle

About the Project Software ethics covers a broad spectrum of concerns including accountability, fairness, privacy and data protection, transparency, safety, security, accessibility, digital inclusion and sustainability. Much of the current … Read More Read More

Categories:
DP Antonio Sanchez
Parallel Programming and Dependent-Types
Parallel Programming and Dependent-Types

About the Project Algorithmic skeletons provide a convenient and high-level approach to writing efficient parallel software by leveraging common patterns of parallel behaviours. A skeleton library presents the programmer with … Read More Read More

Category:
DP Elham Pourbakhsh
Interpretable Self-Sustaining Systems
Interpretable Self-Sustaining Systems

About the Project AI_CDT_DecisionMaking Details Software systems have become pervasive, impacting our society at different levels [1], from recommending the content we consume daily to enabling scientific discoveries in diverse … Read More Read More

Categories:
DP Laura Imbernon
PhD Opportunity in Computer Science focuses on Software Engineering and Robotics at Louisiana State University
PhD Opportunity in Computer Science focuses on Software Engineering and Robotics at Louisiana State University

I am seeking a motivated Ph.D. student in Computer Science to join my lab at Louisiana State University. This exciting opportunity focuses on Software Engineering and Robotics, offering cutting-edge research … Read More Read More

Categories: