Diego Manzanas Lopez is an Electrical Engineering (EE) PhD student at Vanderbilt University. Diego joined the VeriVITAL research group in Fall 2017 under Dr. Taylor Johnson's direction, where his work focuses primarily on the development of verification techniques and software tools for Cyber-Physical Systems (CPS) with Learning-Enabled Components (LEC). Diego has been part of the DARPA Assured Autonomy project for the last two years, wherein he has been working with unmanned underwater vehicles (simulation), from learning the models to safety verification. He has also been involved in the development of the Neural Network Verification (NNV) toolbox which aims to verify, via reachability analysis, multiple neural network architectures as well as control systems where neural network controllers are present. Lastly, he also enjoys working with autonomous drones and cars, and has been a Vanderbilt team member at the last two F1/10 competitions (2019 CPS-IoT Week and 2019 Embedded Systems week) and at the 2019 NSF CPS Challenge (drone).