Matthew Mantle

Matthew Mantle is a Senior Lecturer in the Department of Computer Science at the University of Huddersfield. He is affiliated with the Centre for Planning, Autonomy and Representation of Knowledge and the Centre for Autonomous and Intelligent Systems. His research focuses on large-scale knowledge representation, reasoning, and graph-based methodologies.

• Current research involves integrating large language models (LLMs) with model checking for temporal reasoning systems
• Active in developing distributed spatio-temporal reasoning frameworks
• Collaborates on projects like MIREL (Mining and Reasoning with Legal texts)

Research interests span artificial intelligence, knowledge representation, and graph theory, with applications in real-world knowledge processing. Recent work explores qualitative spatial reasoning and temporal logic verification.

As an active PhD supervisor, he contributes to student research in interactive media and web application development. He served as Programme Committee Member for the 11th IEEE International Conference on Knowledge Graph.