Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

Research Student Symposium 2022/2023

Department of Computer Science, University of Manchester.

The 2023 Computer Science PhD Symposium will be held from Wednesday 24th May to Thursday 25th May.

The symposium exists to give all PhD. students in Computer Science at Manchester the chance to present their work to the Department. Second-year students and above will give short talks; first-year students will present posters. It is a great opportunity---for both staff and students---to learn about some of the fascinating research being carried out in the Department, across all areas of the subject.

Location details

All talk sessions: Kilburn 1.5

Poster session: Kilburn Atlas 1/Staff and PG Common Room (Floor 1)

Day 1: Poster Session & Invited and Contributed Talks

  • 09:15--09:30 Welcome and announcements (Ian Pratt-Hartmann)
  • 09:30--10:30 Invited talk: Winner of the 2023 prize for best thesis.
    • Salem AlJanah: An Interaction Based Multi-Factor Multi-Level Authentication Framework for IoT Environments
  • 10:30--11:00 Coffee - Kilburn Atlas 1
  • 11:00--13:00 Poster Session (First years)
  • 13:00--14:00 Lunch break - Kilburn Atlas 1
  • 14:00--15:00 Contributed talks (Third years)
    • Thomas Baldwin-McDonald: Bayesian Deep Learning with Physics-informed Gaussian Processes
    • Hugo Lefeuvre: Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software.
  • 15:00--15:15 Break
  • 15:15--16:00 Invited talk: Winner of the 2023 prize for best paper.
    • Ahmad Zareie: Nodes' importance in social network graphs
  • 16:00--17:00 Contributed talks (Second Years)
    • Daumantas Kojelis: When is First-Order Logic Decidable?
    • Christopher Wright: The basics of Quantum Compilation
    • Wu Tong: Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning

Day 2: Contributed Talks

  • 09:30--10:50 Contributed talks (Second years)
    • Gabriel Strain: Point Size and Contrast Adjustments for Scatterplot Optimisation
    • Kaiyue Wu: Group-Agent Reinforcement Learning with A Mix of Different Brains
    • Li Mingyang: How can patient-level knowledge graph help clinical coding?
    • Tharindu Madusanka: Identifying the limits of transformers when performing model-checking with natural language
  • 11:00--11:30 Coffee - Kilburn Atlas 1
  • 11:30--12:50 Contributed talks (Second years)
    • Hafiz Tayyab Rauf: Deep Clustering for Data Cleaning and Integration
    • Mohammed Basheikh: Personalised Nudging to Enhance Type 1 Diabetes Self-Management
    • Ahmad Bilal: Activity Driven Blood Glucose Prediction in Type 1
    • Zhongyan Chen: An Evaluation of Test Smells in Open-Source Projects
  • 13:00--14:00 Lunch - Kilburn Atlas 1
  • 14:00--15:40 Contributed talks (Second years)
    • Hongbo Zhu: Explainable AI In DL.
    • Radu Stoican: Trust and Wellbeing in Transparent Human-Robot Interaction Teams
    • Hatim Alsayahani: Overcoming Customisation Challenges in Information Dashboards
    • Mehdi Hellou: Reasoning on beliefs and desires in false beliefs understanding to act in a supportive manner for social robots
    • Wolodymyr Krywonos: Data mining in the marine battlespace