Sort by
Refine Your Search
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research
-
Classical propositional logic (CPL) captures our basic understanding of the linguistic connectives “and”, “or” and “not”. It also provides a very good basis for digital circuits. But it does not account for more sophisticated linguistic notions such as “always”, “possibly”, “believed” or...
-
Automation has affected employment at least as far back as Gutenberg, the introduction of the printing press and the effect on scribes and others. Such changes have occurred in the centuries since
-
Automating code generation, SQL query formulation, and data preprocessing pipelines is a crucial step toward intelligent and efficient software development. This project aims to leverage large
-
threatened species and ecosystems, and to control invasive species and diseases. This requires a step-change in the data and methods used to monitor and predict organism behaviours and ultimately shifts in
-
Time series are an ever growing form of data, generated by numerous types of sensors and automated processes. However, machine learning and deep learning methods for analysing time series are much
-
As education systems increasingly adopt AI to support teaching and learning, the automation of assessment and feedback processes has emerged as a critical area of innovation. Large-scale learning
-
Automated Program Repair (APR) is the grand challenge in software engineering research. Many APR methods have shown promising results in fixing bugs with minimal, or even no human intervention
-
controls, and cybersecurity protocols. We are looking for candidates with: A degree in Computer Science, IT, Engineering or equivalent, and/or significant professional experience. Deep expertise in Linux
-
. Machine learning has been found to introduce and perpetuate discriminatory practices by unintentionally encoding existing human biases and introducing new ones. In this project, we will develop automated