Postgraduate research students

• Al Malwi Wajdan Abdullah A
  Testing Privacy Paradox Across Cultures: Investigating the Privacy Attitude and Behavior of SNS's Users
• Aladwani Tahani
  Diagnosis of Diseases as Cloud Computing Service (DoDaaS)
• Alahmari Saad Abdullah S
  Moderating Human Security Habits
• Alghamdi Ibrahim Ahmed I
  Adaptive-Collaborative Cloud Computing Resource Allocation System
• AlHarbi Nouf Helal H
  The proposed title is: Optimising routing in DWSNs for latency and power-consumption.
• Alkharashi Abdulwhab
  Exploring the Characteristics of Abusive Behaviour in Online Social Media Settings
• AlQallaf Ali
  Robot self-adaptation
• Aversa Marco
  
• Bosman Isak
  Optimizing Natural Language Processing on Edge Devices
• Buker Abeer Abdullah N
  Automatic analysis of conversational patterns in online chats.
• Bumpus Benjamin
  Topological Parameter Choice for FPT Graph Algorithms
• Charvet Valentin
  Reinforcement Learning in Closed-loop data science
• Di Campli San Vito Patrizia
  Investigation of Thermal Feedback for In-Car Applications
• DUAN LI
  Continuous and Interactive Visual Perception for Robotic Grasping and Manipulation
• Evangelopoulou Maria
  
• Fraser Douglas
  Assurance and Resilience of Digital Twins in Critical Systems
• Ghanduri Fatima H M
  Deep Learning and Genetic Computing-driven Nowcasting of Credit Risk Management.
• Hand Samuel
  Firefighting Problems on Temporal Graphs
• Harth Natascha
  Analytics Learning and Knowledge Mining for Big Data Exploration in IoT Environments
• Jacob Dejice
  Opportunistic Acceleration of Array-centric Python Computation in
• Jakobsen Mathias Steen
  Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations
• Kavanagh William
  Investigation into the viability of model checking to aid video game development
• Kelly Ethan
  Game-theoretic and probabilistic methods applied to spatial network models of contagion
• KOEHLER Thomas
  Lift: A Performance Portable Programming Language for the Applications and Hardware of the Future
• Kongyoung Sarawoot
  Deep Reinforcement Learning for Effective Goal-oriented Chatbot Dialogue
• Kourtelos Praxitelis
  Levitating Displays for Multimodal Interaction
• Liu Siwei
  Deep learning recommendations
• Ma Wei
  Scalable Efficient Multi-System Complex-Query Data Analytics
• Macdonald Shaun
  
• Mathis Florian
  
• Mitton Joshua
  
• Narvala Hitarth
  Learning from User Actions through the Identification of Latent Relationships in Sensitive Documents
• Neill Oliver
  Towards all-optical neural networks
• Ozimek Piotr
  Applying a Biologically Inspired Software Retina to Convolutional Neural Networks
• Parkinson Jack
  
• Pitsillos Nikos
  
• Ramsingh Adrian Ravi Kishore
  Seamless Composition of Programming Frameworks
• Raue Stefan
  Automated annotation of in-match sports events: A sensor-based model for group activity recognition
• Rutherford Charles
  Cyber security of SCADA networks and devices
• Ryan Jessica
  Graph Modification Problems in Edge-Coloured Graphs
• Sablotny Martin
  The Application of Machine Learning to Cyber Defence In Critical Applications
• Sagkriotis Stefanos
  Containerised NFV orchestration and management
• Savva Fotis
  Query-Driven Learning for Automating Exploratory & Predictive Analytics in Large-scale Data Management Systems
• Shivani *
  GDPR Privacy Compliance verification in Software Systems
• Simpson Kyle
  Securing Future Networked Infrastructures through Dynamic Normal Behaviour Profiling
• Su Ting
  Fake News and Misinformation over Social Media
• Urlea Cristian
  Optimal program variant generation for heterogeneous compute platforms.
• Wallis William
  Investigating Modelling and Simulation Techniques for Socio-Technical Systems at Scale
• Wang Xi
  Using Deep Learning Approaches in Venue Recommendation
• Wang Xiao
  Effective yet Efficient Information Retrieval based on Deep Reinforcement Learning
• Xin Xin
  Formal Verification of Safety Critical Systems with Uncertainty
• Yanev Mihail
  Optimizing general-purpose operating systems for high performance networking
• Zalakain Uma
  Machine verification of typed process calculi