Bachelor of Science in Physics from
Presbyterian College
Master of Science in Electrical Engineering from
Vanderbilt University
Python, MATLAB, Simulink
Docker, Git, Tensorflow, Keras
Safe AI, Deep Learning, Cyber-Physical Systems
Formal Methods, Verification, Neural Networks
Neural ODEs
August 2017 to Present: Institute for Software Integrated Systems
Create technology and techniques for the assurance of learning enabled CPS
Neural Network Verification Toolbox & Neural Network Verification Model Translator
Autonomous Racing Car Competition
Fastest Lap @ IROS 2020 (Las Vegas Grand Prix)
Autonomous Drone Recovery Mission
Diego Manzanas Lopez © 2020 - Present. All rights reserved. Powered by Bootstrap.
Source on GitHub. Theme based on the Creative Bootstrap Theme by Start Bootstrap.