KAUST CEMSE EE PhD Dissertation Defense Adel Bibi Understanding a Block of Layers in Deep Neural Networks: Optimization, Probabilistic and Tropical Geometric Perspectives