Computer Science People
Group Leads
Staff
Dr Amirmohammad Pasdar
Prof Justin Zobel
Graduate Researchers
Abhishek Sawaika
System aware distribution, orchestration and benchmarking of quantum tasks under networked quantum system
abhishek.sawaika@student.unimelb.edu.au
Alexander Epstein
Improving automation for resolution-style theorem proving
aepstein@student.unimelb.edu.au
Chanuka Avishka Sandeepa Hewa Kaluannakkage
Dynamic optimization of decentralized federated learning for large-scale heterogeneous data applications
hewakaluanna@student.unimelb.edu.au
Constantinos Kavadias
Compliable high level quantum computing languages
ckavadias@student.unimelb.edu.au
Daghash Alqahtani
Container orchestration for AI-driven IoT applications in heterogeneous computing continuum environments
daghash.alqahtani@student.unimelb.edu.au
Duneesha Tharangie Fernando
Performance anomaly-aware management of serverless applications deployed in CaaS (Container as a Service) platforms
dtfernando@student.unimelb.edu.au
Fatemeholsadat Hossini Saidi
Driving towards greener and safer roads using big spatiotemporal data
fhosseinisaa@student.unimelb.edu.au
Faxing Wang
Removing trust assumptions for distributed zero-knowledge proofs
faxing.wang@student.unimelb.edu.au
Fengnian Lin
Efficient algorithms for solving problems on massive data
fengnian.lin@student.unimelb.edu.au
Haotian Liu
Alleviating privacy leaks on graph neural networks via causal models
haotian.liu.1@student.unimelb.edu.au
Haoyu Bai
An extenable heterogeneous resources provision system based on large models and blockchain in microservices
haoyub@student.unimelb.edu.au
Hongwei Yin
Real-time action recognition in sports games through deep learning on mobile devices
hongweiy@student.unimelb.edu.au
Hong Yi Lin
Using neural machine translation approaches to automate code improvements for code reviews
holin2@student.unimelb.edu.au
Hossein Hosseini
Towards cost-efficient inference: Scalable deployment of multiple LLMs
seyyedhossein.hosseinikasnavieh@student.unimelb.edu.au
Huy Nguyen
Encoding additional natural language artefacts for better code representation
huyxuan.nguyen@student.unimelb.edu.au
Jiahao Yang
Post-processing methods for adversarial machine learning
jiahao.yang.1@student.unimelb.edu.au
Jie Zhao
Autonomous workload management in federated cloud computing environments
zhao.j4@student.unimelb.edu.au
Juntao Chen
Towards efficient code generation via dynamic scope context retrieval and automatic result checking
juntao.chen@student.unimelb.edu.au
Kanwal Aslam Syed
Hash based post quantum cryptography on FPGA
kanwalaslam.syed@student.unimelb.edu.au
Kasun Amarasinghe
Learning index structure for multi-dimensional spatial data
kasun.amarasinghe@student.unimelb.edu.au
Kwun Ming Pang
Approximate similarity search on high dimensional data
kwunming.pang@student.unimelb.edu.au
Licheng Zhang
Structured information extraction from VRDs: A case study of building floor plans
licheng.zhang@student.unimelb.edu.au
Limalka Sadith Weerakkody Mudiyanselage
Next generation image processing for CAVs
limalka.sadith@student.unimelb.edu.au
Luca Morandini
Application of large language models to the geospatial domain
l.morandini@student.unimelb.edu.au
Luxin Fang
Estimation of distribution power network topology from smart meter measurements
luxinf@student.unimelb.edu.au
Minh Hieu Huynh
Towards autonomous software engineering: repository-level code generation
minhhieuh@student.unimelb.edu.au
Murtaza Rangwala
Trust-aware model personalization and privacy amplification in decentralized federated learning
mrangwala@student.unimelb.edu.au
Peerachai Banyongrakkul
Exploring bug reports in AI-based software applications
peerachai.banyongrakkul@student.unimelb.edu.au
Pilar Selene Linares Arevalo
Refinement types to simplify verification
plinaresarev@student.unimelb.edu.au
Prabhjot Singh
Advanced federated learning frameworks for AI integration in IoT and quantum edge computing
prabhjot.singh.1@student.unimelb.edu.au
Pratheek Senevirathne
Efficient self-healing in large-scale cloud computing systems
pratheek.senevirathne@student.unimelb.edu.au
Qifan Deng
An energy-efficient distributed system for integration of heterogeneous resources
qifand@student.unimelb.edu.au
Qiyue Mei
Autonomous multi-agent framework for end-to-end software vulnerability detection and resolution
qmmei@student.unimelb.edu.au
Reyhaneh Goli
User search modelling in complex querying environments
reyhaneh.goli@student.unimelb.edu.au
Ron Shaharit
Batch bin packing of system services in four dimensions
ron.shaharit@student.unimelb.edu.au
Sahan Hemachandra
Energy-efficient routing for connected autonomous vehicles
akulathungaa@student.unimelb.edu.au
Shashank Sanjay Bhat
Quantum optimization in robotics and autonomous systems
shashanksanjay.bhat@student.unimelb.edu.au
Shuzhi Gong
Social media fake news detection through graph based deep learning
shuzhig@student.unimelb.edu.au
Stephen Luan
The application of large language models in cyber security
skluan@student.unimelb.edu.au
Tianyu Qi
Optimization of data processing and resource management for distributed stream processing systems
tianyu.qi@student.unimelb.edu.au
Tian Zhang
Improving automated test oracle generation for secure software systems
tian.zhang@student.unimelb.edu.au
Unaiza Alvi
Enhance robustness and reliability of large language models for software engineering
unaiza.alvi@student.unimelb.edu.au
Vincent Jackson
Mechanised high-level verification for concurrent low-level programs
vincent.jackson@student.unimelb.edu.au
Weijia Jia
Causal reinforcement learning-based autonomous intersection management optimization
weijia.jia@student.unimelb.edu.au
Wentao Gao
Human-in-the-loop fuzzing for effective vulnerability discovery
wentaog1@student.unimelb.edu.au
Xiangyu Hui
Advanced privacy-preserving techniques for secure data retrieval
xiangyu.hui.1@student.unimelb.edu.au
Xing Li
Type-based complexity analysis for higher-order functional programs
x.li170@student.unimelb.edu.au
Xu Bai
A QoS-driven approach for microservice placement in the cloud-edge continuum leveraging GNN and reinforcement learning
xu.bai1@student.unimelb.edu.au
Xuyan Shi
Reinforcement learning for compilation in emerging architectures
xuyan.shi@student.unimelb.edu.au
Yifan Sun
Energy-aware scheduling for efficient LLM deployment in kubernetes clusters
yifan.sun.4@student.unimelb.edu.au
Yifan Xie
Involving engineering experience in the undergraduate engineering education in China
yixie3@student.unimelb.edu.au
Yixiang Wang
The online set cover with delay problem and related problems
yixiang.wang4@student.unimelb.edu.au
Zhexiang Zhang
Cost-efficient and efficient LLM inference systems
zhexiang.zhang@student.unimelb.edu.au
Zhibo Xu
Towards efficient and privacy-preserving deep graph learning
zhiboxu@student.unimelb.edu.au
Zhuo Zhang
Efficient algorithms for solving problems on massive data
zhuo.zhang@student.unimelb.edu.au