Skip to main content
KBS_Icon_questionmark link-ico
Dr Mohammad Abdulaziz

Dr Mohammad Abdulaziz

  • Academics

Lecturer in Artificial Intelligence

Research subject areas

  • Computer science

Contact details


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

Further information