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
King's Cybersecurity Centre
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.
Reasoning and Planning
The group focuses on the fundamental AI challenge of creating, representing and reasoning.
Security Hub
The Security Hub consolidates the research related to security
Software Systems
The group studies design, modelling and engineering of software systems.
Research
King's Cybersecurity Centre
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.
Reasoning and Planning
The group focuses on the fundamental AI challenge of creating, representing and reasoning.
Security Hub
The Security Hub consolidates the research related to security
Software Systems
The group studies design, modelling and engineering of software systems.