Graduate Researchers

Computer Science Graduate Researchers

Given Family nameProfile Thesis Title
Siddharth Agarwal Profile Serverless computing optimization: reducing cold starts
Philip Cervenjak Profile Approximation algorithms for submodular optimisation
Ming Chen Profile A heterogeneous stream processing system based on online learning and blockchain in IoT
Zhuo (Zoey)ChenProfileA Verified Cost Model for Lambda Calculus
Louis Cheung Profile Formally Verified Data Compression Algorithms
Luxin Fang Profile Estimation of distribution power network topology from smart meter measurements
DuneeshaFernandoProfilePerformance Anomaly-aware Management of Serverless Applications deployed in CaaS (Container as a Service) platforms
Shuzhi Gong Profile Social Media Fake News Detection Through Graph Based Deep Learning
Udesh Gunarathna Profile Efficient Spatial Data Management for Enabling True Ride-Sharing
Zifeng (Peaker) Guo Profile Efficient structures for recency and string-searching queries in data streams
William Holland ProfileFundamental data structures for identification of temporal properties in data streams
Yulun Huang Profile Resource Management and Application Scheduling in Big Data Cloud
Zuo Huang Profile Real-time hot-spot detection for the environmental sciences through deep learning, sensor networks and data fusion
Vincent Jackson Profile Mechanised High-Level Verification for Concurrent Low-level Programs
Amanda Jayanetti Profile Understanding User Attention in Mobile Augmented Reality
Jiankai Jin Profile Analysing utility and tradeoffs of multi-party machine learning
Vinay Kabadi ProfileAutomated software regression bug fixing
Rabindra Lamsal Profile Social media analytics: a real-time machine learning approach
Alex Jacey Ligthart-Smith Profile Preserving data privacy with semi-trusted adversaries
Pilar SeleneLinares ArévaloProfileRefinement types to simplify verification
Dongge Liu Profile Software vulnerability analysis with machine learning
Han Liu Profile Enhancing Scientific Document Categorization with Taxonomy Information
Anupama Ruwanthika Mampage Profile Context-aware dynamic resource management in fog/edge computing environments
Sadegh Motallebi Profile Traffic Optimization in the Era of Connected Autonomous Vehicles
Rajeev Muralidhar Profile Energy aware systems: abstractions, API and architectural framework for cross layer energy efficiency
Tharindu Lakmal Muthugama Profile Spatiotemporal data and future transportation systems
Saeed NasehibasharzadProfileA high performance and near real-time integrated driving navigation and traffic controlling system
Mak Nazecic-Andrlon ProfileEfficient interval reasoning for floating-point arithmetic
Thanh-Dat Nguyen Profile Machine learning for program synthesis
Thanh Hoa Nguyen Profile Serverless Quantum Cloud Computing
Samodha Kanchani Pallewatta Profile Mobility-aware application modeling in edge and fog computing environments
Lianglu Pan Profile Automated vulnerability and flaw detection in network communications
Yao (Alwyn) Pan Profile Cloud-based container orchestration optimisation to improve scalability in hybrid cloud
Kalyani Penyala Profile Machine learning-based Management of Data Centre Resources for Green Cloud Computing
Jirat Pasuksmit Profile Intelligent assistance for agile software development process
Mustafa Rezazada Profile Modeling and prediction of household activity scheduling decisions
Larissa Salerno Profile Software installation in third-party software ecosystems
Tharindu Bandara Saryakara Hewage Profile Learning-centric Resource Management in Energy-efficient Cloud Computing
JayathSeneviratneProfileEnabling Mission Critical Real-Time Internet of Things Applications with Fog Computing
Kwangsuk Song ProfileStorage systems management in cloud computing environments
Kanwal Aslam Syed Profile Hash based post quantum cryptography on FPGA
SamuelThomasProfileDesigning Efficient Algorithms for Big Data
Chenhao Tong Profile Multi-agent Distributed Autonomous System Optimisation using Reinforcement Learning
Faxing Wang ProfileRemoving trust assumptions for distributed zero-knowledge proofs
Lingfei Wang Profile High performance event detection and tracking in social media
Peiyong Wang Profile Quantum Computing
Zhe Wang Profile Privacy-oriented Deployment of Health Application in Distributed Clouds
Zhiyu Wang Profile A New Approach for Efficient Deployment of Applications in Edge Cloud
Hao Wu Profile Privacy Preserving Data Analysis
Ziren Xiao Profile Runtime optimisation of distributed systems using reinforcement learning
Pengbo Yan Profile Scalable, Principled Vulnerability Detection via Insecurity Logics
Renlord Yang ProfileOn the design of private, anonymous and trustless protocols in public blockchains
Zihan Yang Profile Deep learning in applications with limited data and computation resources
Zhuo Zhang Profile Efficient algorithms for solving problems on massive data
Jie Zhao Profile Autonomous workload management in federated cloud computing environments
Zhuowei Zhao Profile Learning-based algorithms with non-trivial theoretical guarantees for solving problems on massive data