D
About
Regular biography
Dr Mohammad Abdulaziz is a Lecturer in Artificial Intelligence at King's College London, Department of Computer Science. His research interests include formalising mathematics, formal verification of AI algorithms and systems using interactive theorem provers, and algorithms for classical AI planning and graph theoretic problems defined on state spaces. 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. He is affiliated with the King's Cybersecurity Centre, an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research.