Verification and Security

Supervisors for Verification and Security

  • Keywords:
    Autonomous agents, multi-agent systems, reinforcement learning, probabilistic inference, state estimation
    Theme:
    Control and Motion Planning, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    University of Edinburgh
  • Keywords:
    Explainable AI, Machine learning, Cognitive robotics, Integrated task and motion planning
    Theme:
    Control and Motion Planning, Human Robot Interaction, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    University of Edinburgh
  • Keywords:
    Automation of reasoning; formation and evolution of representations of knowledge; logical theory creation and evolution...
    Theme:
    Verification and Security
    University of Edinburgh
  • Keywords:
    Automated reasoning; formal modelling; verification and synthesis; productive use of failure; system safety
    Theme:
    Verification and Security
    Heriot-Watt University
  • Keywords:
    Logic in AI, Verification, Theorem Proving, Types, Programming Languages
    Theme:
    Verification and Security
    Heriot-Watt University
  • Keywords:
    Optimization Algorithms and Theory, Machine Learning, Multimodal Signal Processing, Network Science
    Theme:
    Control and Motion Planning, Vision and Perception, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    Heriot-Watt University
  • Keywords:
    Robot Learning for Decision Making under Uncertainty, Dexterous Manipulation and Control, Human-Robot Interaction,...
    Theme:
    Control and Motion Planning, Human Robot Interaction, Machine Learning and AI (inc. multi-agent systems), Bioinspired Approaches, Verification and Security
    University of Edinburgh
  • Keywords:
    Parallel programming languages, domain specific languages, dataflow models, embedded systems, hardware, model checking...
    Theme:
    Vision and Perception, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    Heriot-Watt University
  • Keywords:
    deep generative models, complex reasoning, neuro-symbolic AI, reliable and efficient probabilistic inferece, automated...
    Theme:
    Machine Learning and AI (inc. multi-agent systems), Verification and Security
    University of Edinburgh
Please see the list of themes on the menu on the left. Selecting one of these themes will take you to the list of supervisors associated with this particular area of research.