![Mohammad Abdulaziz](/newimages/person-profile/2022a/mohammadabdulaziz.x013695a9.jpg?w=160&h=198&crop=160,160,0,19&f=webp)
Dr Mohammad Abdulaziz
Lecturer in Artificial Intelligence
Research interests
- Computer science
Contact details
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
- Computerphile - Mechanising (Graphical) Mathematical Proofs
Further information
Research
![cyberculture](/ImportedImages/Kingsworldwide/NAS/cyberculture.xece332c4.jpg?w=780&h=519&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
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](/newimages/nmes/main-article-780X450/article-graph-equations.xf5b562ea.jpg?w=780&h=450&crop=780,440,0,5&width=380&height=215&fit=crop&f=webp)
Reasoning and Planning
The group focuses on the fundamental AI challenge of creating, representing and reasoning.
![THUMB PAGE Security Cameras](/newimages/nmes/thumbnail-pages-368x208/thumb-page-security-cameras.x73b54fdb.jpg?w=780&h=441&crop=780,440,0,1&width=380&height=215&fit=crop&f=webp)
Security (Informatics)
The Security Hub consolidates the research related to security
![ARTICLE Code](/newimages/nmes/main-article-780X450/article-code.x8eb83709.jpg?w=780&h=450&crop=780,440,0,5&width=380&height=215&fit=crop&f=webp)
Software Systems
The group studies design, modelling and engineering of software systems.
Research
![cyberculture](/ImportedImages/Kingsworldwide/NAS/cyberculture.xece332c4.jpg?w=780&h=519&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
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](/newimages/nmes/main-article-780X450/article-graph-equations.xf5b562ea.jpg?w=780&h=450&crop=780,440,0,5&width=380&height=215&fit=crop&f=webp)
Reasoning and Planning
The group focuses on the fundamental AI challenge of creating, representing and reasoning.
![THUMB PAGE Security Cameras](/newimages/nmes/thumbnail-pages-368x208/thumb-page-security-cameras.x73b54fdb.jpg?w=780&h=441&crop=780,440,0,1&width=380&height=215&fit=crop&f=webp)
Security (Informatics)
The Security Hub consolidates the research related to security
![ARTICLE Code](/newimages/nmes/main-article-780X450/article-code.x8eb83709.jpg?w=780&h=450&crop=780,440,0,5&width=380&height=215&fit=crop&f=webp)
Software Systems
The group studies design, modelling and engineering of software systems.