Mohammad Abdulaziz                    
(PGP Key)

Room (N)7.15
Bush House 30 Aldwych

The head and torso of a dinosaur skeleton;
            it has a large head with long sharp teeth

!!!Fully-funded PhD positions!!!

Bio: I am a lecturer (equiv. to assistant professor) and member of the Reasoning and Planning Group at King's College London. Before that, I was a post-doc in the Chair for Logic and Verification at Technische Universität München. I was awarded my PhD from the Australian National University, and, before that, an MSc from Cairo University. I also held full-time industry R&D positions from 2009 to 2013 in electronics CAD software and FPGA system design.

Research Interests:

Working Papers:

Journal Publications:

Conference Publications:

Workshop Publications:



Opportunities for students:


I have been fortunate to work with: