Safe Agentic/LLM Reasoning via Formal Verification
The University of Manchester
Department of Computer Science
The target is to explore novel synergies among natural language-based Human-AI interaction, nature-inspired optimization and exploration, the social impacts of Human-AI cooperation on team dynamics, and advanced machine learning in the engineering domain. Read more
Supervisor: Dr LC Cordeiro
Year round applications
PhD Research Project
Funded PhD Project (Students Worldwide)