Kyle Julian with the Stanford Intelligent Systems Lab, presents his Ph.D. defense on the use of neural networks on aircraft guidance and control systems. Julian outlines his work on neural network compression of score table policies, neural network verification and validation of image-based neural net. Link