Skip to main content

Research projects in Information Technology

Displaying 31 - 40 of 126 projects.


Creating a 21st Century Helpline for Enhanced Support and Continuity of Care

Turning Point is a renowned addiction treatment and research centre specialising in the prevention, treatment, and support services for individuals affected by substance use disorders, gambling addiction, and mental health issues. Turning Point operates a network of 26 helplines across the country, ensuring accessible and immediate support for individuals in need. These helplines serve as a vital resource for individuals seeking assistance, information, and guidance related to addiction and mental health concerns.

Supervisor: Dr Levin Kuhlmann

Formally Verified Automated Reasoning in Non-Classical Logics

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 “knows”. Philosophers therefore invented many different non-classical logics which extend CPL with further operators for these notions.

Supervisor: Prof Rajeev Gore

Efficient CEGAR-tableaux for Non-classical Logics

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 “knows”. Philosophers therefore invented many different non-classical logics which extend CPL with further operators for these notions.

Supervisor: Prof Rajeev Gore

A Framework for Automated Code Generation and Data Transformation Using LLMs

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 language models (LLMs) to address these challenges by developing a comprehensive framework that seamlessly integrates LLM capabilities for generating accurate and optimised code, constructing complex SQL queries, and automating data transformations.

Navigating the Future: Foundation Models for Spatial and Temporal Reasoning

Recent advancements in foundation models have significantly improved AI systems' capabilities in autonomous tool usage and complex reasoning. However, their potential for location-based and map-driven reasoning—crucial for optimising navigation, resource discovery, and logistics—remains underexplored. This project aims to address key challenges in this domain, including interpreting complex map visuals, performing spatial and temporal reasoning, and managing multi-step decision-making tasks.

AI for MRI Reconstruction

Artificial Intelligence (AI) is revolutionizing the field of Magnetic Resonance Imaging (MRI) by enabling faster, more accurate, and cost-effective image reconstruction. This project explores cutting-edge AI methodologies, focusing on combining data-driven approaches with physics-informed models to tackle challenges in MRI reconstruction. By integrating MRI acquisition physics directly into neural networks, we aim to improve the interpretability and robustness of reconstruction techniques.

Supervisor: Dr Fuad Noman

Generating explanations that involve uncertainty

This Masters or PhD project aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain ML predictions and their uncertainty to different stakeholders, and evaluate the effect of the conveyed information.

Long-term Human-robot Social Interactions Using Compositional Multimodal Agent Models at Monash University

We are excited to offer a fully funded PhD position at the Faculty of Engineering, Monash University (Australia). This project focuses on developing new algorithms to equip social robots with the social, cognitive, and communicative skills needed to autonomously engage in meaningful, long-term human-robot interactions.

Developing Foundation Models for Time Series Data

In this project, we aim to pioneer foundational models specifically designed for time series data—a critical step forward in handling vast and complex temporal datasets generated across domains like healthcare, finance, environmental monitoring, and beyond. While recent advancements in foundation models have shown tremendous success in NLP and computer vision, the unique characteristics of time series data, such as temporal dependencies and lack of rich semantic make it challenging to leverage these models directly for time series tasks.

Supervisor: Mahsa Salehi

Detect and monitor extremist rhetoric or planned criminal activities using social media and dark web multimodal data

This project aims to employ advanced machine learning techniques to analyse text, audio, images, and videos for signs of harmful behaviour. Natural language processing algorithms are utilized to examine vast amounts of textual data, identifying keywords, phrases, and sentiment that may indicate extremist views or intentions. Analysing audio involves techniques such as speech recognition, keyword analysis, contextual analysis, audio feature extraction, and machine learning models to identify and assess potentially dangerous content.