Education

Graduate Degrees

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

Undergraduate Degree

Bachelor of Science in Physics from
Presbyterian College

Skills

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

Interests

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

Wait There's More!

Work

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


Projects

NNV & NNVMT


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

F1Tenth


Autonomous Racing Car Competition

Fastest Lap @ IROS 2020 (Las Vegas Grand Prix)

NSF CPS Challenge


Autonomous Drone Recovery Mission



Cool, show me the < ⁄ CODE >

GitHub: mldiego

F1Tenth
Latest simulation code for F1Tenth competitions
NNV
Neural Network Verification Toolbox
ACAS Xu
Verification of an intelligent control system of autonomous aircraft

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

Email

LinkedIn

GitHub

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

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