Ph.D. and MS in Electrical Engineering from
Bachelor of Science in Physics from
Python, MATLAB, Simulink, C++, Docker, Git, Tensorflow, Keras, Pytorch
AI Safety and Trust, Deep Learning, Cyber-Physical Systems, Formal Methods
August 2022 to Present: Institute for Software Integrated Systems
August 2017 to August 2022: Vanderbilt UniversityDissertation: Learning and Verification of Dynamical Systems with Neural Network Components
Neural Network Verification Toolbox & Neural Network Verification Model Translator
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)
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.