Herbert Wertheim College of Engineering
Tran Lab
Led by Dung Tran · Computer and Information Science and Engineering
Auto-generated from UF undergraduate research symposium abstracts
What we study
The Tran Lab studies how to make AI and robotics safer using formal methods. They develop tools to verify and validate learning-enabled systems.
What working here is like
- Computational
- No organisms (data only)
- Coding required
How to reach out
Dung Tran hasn't set up this page yet. You can also look them up in the UF directory (search “Dung Tran”).
Are you in this lab?Claim this lab
Open positions
No positions posted right now. Many labs still take undergrads who reach out to them, so see how to get in touch.