Skip to main content
MohammadAbdulaziz

Dr Mohammad Abdulaziz

Lecturer in Artificial Intelligence

Research interests

  • Computer science

Biography

Mohammad Abdulaziz is a lecturer at King's College London. Before joining King's, he was a post-doctoral researcher at the Chair for Logic and Verification at TU München, where he is still a visiting researcher.

Research interests

  • Formalising mathematics
  • Formal verification of AI algorithms and systems using interactive theorem provers
  • Algorithms for classical AI planning and graph theoretic problems defined on state spaces

Public engagement

Further information

    Research

    cyberculture
    King's Cybersecurity Centre

    King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

    ARTICLE Graph Equations
    Reasoning and Planning

    The group focuses on the fundamental AI challenge of creating, representing and reasoning.

    THUMB PAGE Security Cameras
    Security (Informatics)

    The Security Hub consolidates the research related to security

    ARTICLE Code
    Software Systems

    The group studies design, modelling and engineering of software systems.

      Research

      cyberculture
      King's Cybersecurity Centre

      King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

      ARTICLE Graph Equations
      Reasoning and Planning

      The group focuses on the fundamental AI challenge of creating, representing and reasoning.

      THUMB PAGE Security Cameras
      Security (Informatics)

      The Security Hub consolidates the research related to security

      ARTICLE Code
      Software Systems

      The group studies design, modelling and engineering of software systems.