|
KLT7292
|
Deep learning on image saliency analysis (Eye tracker data) (ZI)
|
Eye tracker provides an intuitive interface to tra... |
Gary Tam
|
|
KLT7294
|
Deep Learning, Machine Learning, Vision Application, NLP (ZI)
|
This is a placeholder for a project that broadly c... |
Gary Tam
|
|
SW71
|
Designing the Future of Human–AI Collaboration: Adaptive Mixed-Initiative Systems for Creative Problem Solving
|
Artificial Intelligence is transforming creative d... |
Sean Walton
|
|
BM7048
|
Determining (abnormal) patterns in blood sample and Genetic datasets
|
We are looking for highly motivated research stude... |
BENJAMIN Mora
|
|
DS7777
|
Digitising Paper Health Records with Generative AI
|
Paper-based health records are still widely used i... |
Deepak Sahoo
|
|
KLT7293
|
Do current state-of-the-art generative models understand gaze? (ZI)
|
This project aims to explore the potential of gene... |
Gary Tam
|
|
BM7132
|
Efficient Compression of Large Language Model Layers for Faster Inference
|
This project will explore techniques to compress t... |
BENJAMIN Mora
|
|
SQ7772
|
Encoding and Decoding Moiré QR Code to prevent QR scanning attacker
|
Graphical Technology for Cyber Security Pan et al... |
Simeng Qiu
|
|
HGE5415
|
Enhancing Cell Segmentation in human cellular Using Weak Learning Techniques
|
This project aims to develop and apply weak learni... |
Hassan Eshkiki
|
|
SW69
|
Evolving Artificial Life: From Virtual Creatures to Intelligent Machines
|
What happens when you combine evolutionary algorit... |
Sean Walton
|
|
XGC5425
|
Explainable AI
|
Improve explain-ability of AI applications |
Cheng Cheng
|
|
XGC5411
|
Explainable AI for Mathematical Modeling
|
Integrate qualitative and quantitative AI computin... |
Cheng Cheng
|
|
RMB7052
|
Exploring Cardio-respiratory data obtained from Physical Exercise in patients with type 1 diabetes
|
Project Summary
Low cardiorespiratory fitness (CR... |
Richard Bracken
|
|
AGS7381
|
Exploring Energy-Saving Alternatives to Cryptocurrency Mining
|
The traditional method for ensuring all nodes in a... |
ANTON Setzer
|
|
SW70
|
Exploring Procedural Generation: AI Enhanced Creativity in Games and Beyond
|
Procedural generation is a powerful technique in m... |
Sean Walton
|
|
KLT7785
|
Exploring Referring Image Segmentation for Vision–Language Integration
|
In this MSc project, students will work on Referri... |
Gary Tam
|
|
XGC7102
|
Finance Fraud
|
Research Finance Fraud and interventions. Latest A... |
Cheng Cheng
|
|
XGC7074
|
Finance Fraud Detection
|
To research AI solutions for fighting Finance Frau... |
Cheng Cheng
|
|
CP2399
|
Finite-state automata and the simply-typed λ-calculus
|
Hillebrand and Kanellakis uncovered in 1992 a stri... |
Cécilia Pradic
|
|
CP2398
|
Formalizing the nested relational calculus in a proof assistant
|
The nested relational calculus (NRC) is a conserva... |
Cécilia Pradic
|
|
MT6330
|
Formally Verified Bulletproof in Coq, Lean, or Dafny
|
Bulletproof [1, 2] is a zero-knowledge proof that... |
Mukesh Tiwari
|
|
MT6329
|
Formally Verified Elliptic Curve Cryptography Curve25519 in Dafny, Coq, or Lean
|
Curve25519 is a very popular elliptic curve for pu... |
Mukesh Tiwari
|
|
MT6327
|
Formally Verified Instant-runoff Voting in Coq, Lean, or Dafny
|
Instant-runoff voting (IRV) is used around the wor... |
Mukesh Tiwari
|
|
MT6461
|
Formally verified Pasta curves (Pallas and Vesta) in Coq, Lean, or Dafny
|
Pasta curve is extensively used in Zk-SNARK, speci... |
Mukesh Tiwari
|
|
MT6328
|
Formally Verified Single Transferable Vote in Coq, Lean, or Dafny
|
Single Transferable Voting (STV) [1, 3] is used ar... |
Mukesh Tiwari
|