Welcome to the 2023 Computer Science Symposium
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.
Day 1: Poster Session - Venue: Kilburn Atlas 1 and Third and Second year talks – Kilburn 1.5
- 09:15--09:30 Welcome and announcements (Ian Pratt-Hartmann)
- 09:30--10:30 Invited talk: Winner of the 2023 Best Thesis prize for the Department of Computer Science
o Salen 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)
o Thomas Baldwin-McDonald: Bayesian Deep Learning with Physics-informed Gaussian Processes
o Hugo Lefeuvre: Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software.
- 15:00--16:00 Contributed talks (Second Years)
o Daumantas Kojelis: When is First-Order Logic Decidable?
o Christopher Wright: The basics of Quantum Compilation
o Wu Tong: Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning
Day 2: Second year talks – Kilburn 1.5
- 09:30--10:50 Contributed talks (Second years)
o Hafiz Tayyab Rauf: Deep Clustering for Data Cleaning and Integration
o Kaiyue Wu: Group-Agent Reinforcement Learning with A Mix of Different Brains
o Li Mingyang: How can patient-level knowledge graph help clinical coding?
o 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)
o Gabriel Strain: Point Size and Contrast Adjustments for Scatterplot Optimisation
o Mohammed Basheikh: Personalised Nudging to Enhance Type 1 Diabetes Self-Management
o Ahmad Bilal: Activity Driven Blood Glucose Prediction in Type 1
o 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)
o Hongbo Zhu: Explainable AI In DL
o Radu Stoican: Trust and Wellbeing in Transparent Human-Robot Interaction Teams
o Hatim Alsayahani: Overcoming Customisation Challenges in Information Dashboards
o Mehdi Hellou: Reasoning on beliefs and desires in false beliefs understanding to act in a supportive manner for social robots
o Wolodymyr Krywonos: Data mining in the marine battlespace