Mohammad Abdulaziz                            

first.last@kcl.ac.uk
(PGP Key)

Room (N)7.15
Bush House 30 Aldwych
London
WC2B 4BG


!!!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:

Formalisations:

Software:

Opportunities for students:

Supervision:

I have been fortunate to work with: