Scholar
Mohammad Abdulaziz
Google Scholar ID: x5z4rRkAAAAJ
King's College London
Citations & Impact
Citations
146
H-index
7
i10-index
5
Publications
20
Co-authors
9
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple journal papers, such as 'An Isabelle/HOL Formalisation of Green's Theorem' and 'Formally Verified Algorithms for Upper Bounding State Space Diameters' in the Journal of Automated Reasoning; multiple conference papers, such as 'A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows' (ITP 2024) and 'Formally Verified SAT-Based AI Planning' (AAAI 2023).
Research Experience
- Was a post-doc in the Chair for Logic and Verification at Technische Universität München.
Education
- PhD from the Australian National University; MSc from Cairo University; held full-time industry R&D positions in electronics CAD software and FPGA system design from 2009 to 2013.
Background
- Currently a lecturer (equivalent to assistant professor) and a member of the Reasoning and Planning Group at King's College London. Research interests include formalizing mathematics in Isabelle/HOL, such as building formal libraries on combinatorial optimization, computation models, and complexity theory; formalizing variants of Stokes' theorem, e.g., Green's theorem; formal verification of AI algorithms and systems, e.g., building a suite of formally verified tools for model-checking and AI planning; algorithms for AI planning and model checking, e.g., algorithms for computing upper bounds on state space diameters and reachability that exploit symmetries.
