1. Project Themes
  2. Verification and Security

Verification and Security

Supervisors for Verification and Security

  • Dr. Vaishak Belle
    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
    vaishak@ed.ac.uk
    University of Edinburgh
  • Prof. Alan Bundy FRS, FACM, FREng, FRSE
    Keywords:
    Automation of reasoning; formation and evolution of representations of knowledge; logical theory creation and evolution...
    Theme:
    Verification and Security
    bundy@ed.ac.uk
    University of Edinburgh
  • Prof. Andrew Ireland
    Keywords:
    Automated reasoning; formal modelling; verification and synthesis; productive use of failure; system safety
    Theme:
    Verification and Security
    a.ireland@hw.ac.uk
    Heriot-Watt University
  • Dr. Ohad Kammar
    Keywords:
    Programming languages design and semantics, types, category theory
    Theme:
    Verification and Security
    ohad.kammar@ed.ac.uk
    University of Edinburgh
  • Prof. Ekaterina Komendantskaya
    Keywords:
    Logic in AI, Verification, Theorem Proving, Types, Programming Languages
    Theme:
    Verification and Security
    e.komendantskaya@hw.ac.uk
    Heriot-Watt University
  • Dr. Joao Mota
    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
    j.mota@hw.ac.uk
    Heriot-Watt University
  • Dr. Najib Muhammad
    Keywords:
    Logic, Automata Theory, Game Theory, Multi-Agent Systems, Formal Verification, Automated Synthesis, Model Checking
    Theme:
    Machine Learning and AI (inc. multi-agent systems), Verification and Security
    m.najib@hw.ac.uk
  • Prof. Subramanian Ramamoorthy
    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
    s.ramamoorthy@ed.ac.uk
    University of Edinburgh
  • Dr. Robert Stewart
    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
    R.Stewart@hw.ac.uk
    Heriot-Watt University
  • Dr. Antonio Vergari
    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
    avergari@exseed.ed.ac.uk
    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.