简介
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 Personal website PublicationsResearchResearchKing's Cybersecurity CentreAn 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 rese
数据校验于 9/6/2026数据来源