D
Dung Tran
Assistant Professor
GradNova doesn't forward messages to faculty. To contact Dung Tran, use the University of Florida website.
Research Interests
AI Safety
Embedded Systems
Formal Methods
Robotics
Specification and Modeling Languages
Verification and Validation for Learning-Enabled Autonomy
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →