Fun Stuff
Tennis
Exploring
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.
