XR Authentication & Behavioural Sensing
Predictive world models of user behaviour for adaptive biometric sensing and authentication in XR, combining computer vision with simulation to study robustness across users, tasks, and environments.
About Me
I am a Computer Science PhD student at the University of Glasgow, funded by the UKRI Centre for Doctoral Training in Socially Intelligent Artificial Agents. I am advised by Prof. Mohamed Khamis and Dr. Mathieu Chollet.
My research focuses on trustworthy human–AI interaction at the intersection of usable security and trustworthy AI. I investigate predictive world models of user behaviour for adaptive biometric sensing and authentication in XR, combining computer vision with simulation to model behavioural dynamics and evaluate robustness across users, tasks, and environments.
I also develop verification-based methods for embodied AI, autonomous agents, and large language models. Before my PhD, I worked as a research assistant under the supervision of Prof. Bingzhuo Zhong at HKUST (Guangzhou).
News
- AutoSafeLTL was selected for an oral presentation at IJCNN 2026 and nominated for Best Paper.
- Received the IEEE CIS Travel Grant and the CDSAI Conference and Training Fund.
- Joined the University of Glasgow as a PhD student in the UKRI Social AI CDT.
Selected Research
Reliable Autonomous Agents
Verification-based methods for embodied AI and autonomous agents, including contract-first execution, independent outcome verification, and auditable traces.
AutoSafeLTL
A self-supervised framework for translating natural-language safety requirements into formally checkable LTL specifications using model training and automated verification.
Publications
-
[1]
Automatic Generation of Safety-Compliant Linear Temporal Logic via Large Language Models: A Self-Supervised Framework
International Joint Conference on Neural Networks (IJCNN), 2026 Oral Presentation · Best Paper Nominee
Education
- 2025–2029
- PhD in Computer Science University of Glasgow · UKRI Social AI CDT
- 2021–2025
- BEng in Information Security Northwestern Polytechnical University
Research Experience
- 2025–present
- PhD Researcher, University of Glasgow Trustworthy human–AI interaction, XR biometric authentication, computer vision, and behavioural modelling.
- 2023–2025
- Research Assistant, HKUST (Guangzhou) Trustworthy AI, browser-agent reliability, runtime monitoring, and formal verification.
- 2025
- Data Science Intern, Transwarp Technology Built a financial knowledge graph and GraphRAG pipeline for traceable market-information analysis.
- 2023–2024
- Research Intern, Tsinghua University (Shenzhen) & Winter@AIR GNN-based binary program analysis and LLM-guided robot navigation with ROS and Gazebo.
Academic Activities
Service
- AAAI 2026 Program Committee
- IJCNN 2026 Reviewer
- MUM 2027 Visa Chair
- Invited speaker, Turing PhD Student Presentations & Networking Day
Awards
- IEEE CIS Travel Grant, 2026
- CDSAI Conference and Training Fund, 2026
- National First Prize, Information Security Contest