Mohammad Abdulaziz email:

Since May 2017 I am a post-doc in the Chair for Logic and Verification in the Technical University of Munich, which is led by Prof. Tobias Nipkow.

My research concerns problems that I find interesting, and whose solution can help produce provably safe AI systems, and software systems in general. I currently have two main research activities:

For my PhD, I studied at the Australian National University and Data61 under the supervision of Dr. Michael Norrish and Dr. Charles Gretton, where I worked on verifying algorithms for transition systems in the proof assistant HOL4. Before that I obtained an MSc and a BSc in Computer Engineering from Cairo University in 2009 and 2013, respectively, under the supervision of Prof. Amr Wassal and Prof. Nevine Darwish. I also worked from 2011 to 2013 as a software engineer in Mentor Graphics developing CAD tools for Custom ICs, and as a systems engineer in Cairo University developing FPGA based communication systems from 2009 to 2011. For more details, please refer to my CV.

Journal Publications:

Conference Publications:

Workshop Publications: