Diego Manzanas Lopez (Preferred)
Diego Manzanas Lopez
Researcher, Computer Science, Vanderbilt University
- Joined May 2021
Names
Emails
****@vanderbilt.edu (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Computer Science, Vanderbilt University (vanderbilt.edu)
2022 – Present
PhD student
Electrical and Computer Engineering, Vanderbilt University (vanderbilt.edu)
2017 – 2022
Advisors, Relations & Conflicts
Coauthor
Hoang-Dung Tran
2017 – Present
Expertise
Neural ODEs
Present
Neural network verification
Present
Hybrid systems verification
Present