Diego Manzanas Lopez


Researcher. Tennis Player.

PhD Candidate
Vanderbilt University

Find Out More!

Education


Degree 2017

Bachelor of Science in Physics from
Presbyterian College

Master 2020

Master of Science in Electrical Engineering from
Vanderbilt University

Skills

Python, MATLAB, Simulink

Docker, Git, Tensorflow, Keras

Interests

Safe AI, Deep Learning, Cyber-Physical Systems

Formal Methods, Verification, Neural Networks

Neural ODEs

Work


Graduate Research Assistant

August 2017 to Present: Institute for Software Integrated Systems

Assured Autonomy (DARPA)

Create technology and techniques for the assurance of learning enabled CPS

NNV & NNVMT

Neural Network Verification Toolbox & Neural Network Verification Model Translator

F1Tenth

Autonomous Racing Car Competition

Fastest Lap @ IROS 2020 (Las Vegas Grand Prix)

NSF CPS Challenge

Autonomous Drone Recovery Mission

Fun Stuff


TENNIS

Tennis

Exploring

Exploring

Patrick Musau

Recommendation: A new DJ in town!

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.