Skip to main content

Mohammad Abdulaziz

Mohammad Abdulaziz
PhD Student

Research Interests

I am interested in Interactive theorem proving. My PhD project is about mechanizing optimality properties in SAT based planning algorithms.

Contact Details

Email:Mohammad.Abdulaziz@data61.csiro.au

More contact information is available at the Contact page.

Photo of Mohammad Abdulaziz

Publication List

Publications

Data61 Papers

2016

Abstract PDF Mohammad Abdulaziz and Lawrence Paulson
An isabelle/HOL formalisation of green's theorem
International Conference on Interactive Theorem Proving, Nancy, France, August, 2016

NICTA Papers

2015

Abstract PDF Mohammad Abdulaziz, Charles Gretton and Michael Norrish
Verified over-approximation of the diameter of propositionally factored transition systems
International Conference on Interactive Theorem Proving, pp. 1-16, Nanjing, China, August, 2015
Abstract PDF Mohammad Abdulaziz, Charles Gretton and Michael Norrish
Exploiting symmetries by planning for a descriptive quotient
IJCAI 2015, pp. 1479-1486, Buenos Aires, July, 2015

2014

Abstract PDF Mohammad Abdulaziz, Charles Gretton and Michael Norrish
Mechanising theoretical upper bounds in planning
Workshop on Knowledge Engineering for Planning and Scheduling, Portsmouth, USA, June, 2014