Mohammad Abdulaziz                            

phone: +49 (89) 289 17858
office: 00.09.060

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

Bio: I am a post-doc in the Chair for Logic and Verification at Techniche Universität München. I was awarded my PhD in 2018 from the Australian National University, and, before that, an MSc and a BSc infrom Cairo University in 2009 and 2013, respectively. 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:



For students: