Mohammad Abdulaziz                               email: first.last@in.tum.de          phone: +49 (89) 289 17858          office: 00.09.054

Since May 2017 I am a post-doc in the Chair for Logic and Verification in the Technical University of Munich.

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:

I did my PhD, which was conferred in 2018, at the Australian National University and Data61 (formerly, NICTA). Before that I obtained an MSc and a BSc in Computer Engineering from Cairo University in 2009 and 2013, respectively. I also held full-time industry positions from 2009 to 2013 as an electronics CAD software engineer and an FPGA systems engineer.

Working Papers:

Journal Publications:

Conference Publications:

Workshop Publications:

Formalisations:

Software:

For students: