Dr Mohammad Abdulaziz
Senior Lecturer in Artificial Intelligence
Research interests
- Computer science
Contact details
Biography
Mohammad Abdulaziz is a Senior Lecturer in Artificial Intelligence in the Department of Informatics, 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.
Mohammad Abdulaziz was awarded his PhD in 2018 from the Australian National University, and, before that, an MSc and a BSc from Cairo University in 2009 and 2013, respectively.
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.