Graduate Degrees

Ph.D. and MS in Electrical Engineering from
Vanderbilt University

Undergraduate Degree

Bachelor of Science in Physics from
Presbyterian College


Python, MATLAB, Simulink, C++, Docker, Git, Tensorflow, Keras, Pytorch


AI Safety and Trust, Deep Learning, Cyber-Physical Systems, Formal Methods


Postdoctoral Scholar

August 2022 to Present: Institute for Software Integrated Systems

Graduate Research Assistant

August 2017 to August 2022: Vanderbilt University

Dissertation: Learning and Verification of Dynamical Systems with Neural Network Components
Committee: Taylor T. Johnson (adviser), Gautam Biswas, Radu Grosu, Yuankai Huo, Janos Sztivanopits



Neural Network Verification Toolbox & Neural Network Verification Model Translator

Assured Autonomy (DARPA)

Develop techniques and software tools for the assurance of learning enabled cyber-physical systems


Autonomous Racing Car Competition

Fastest Lap @ IROS 2020 (Las Vegas Grand Prix)

NSF CPS Challenge

Autonomous Drone Recovery Mission

You can find his personal email, LinkedIn and GitHub below.

Diego Manzanas Lopez © 2020 - Present. All rights reserved. Powered by Bootstrap.

Source on GitHub. Theme based on the Creative Bootstrap Theme by Start Bootstrap.