The mission of the Trustworthy Engineered Autonomy (TEA) Lab is to make autonomous systems safer and more trustworthy through rigorous engineering methods with strong guarantees. The table below summarizes our interdisciplinary interests.

System classes

  • Cyber-physical
  • Robotic
  • Autonomous

Tasks of interest

  • Verification, modeling
  • Monitoring, prediction
  • Control, synthesis

Areas of research

  • Formal methods
  • AI/ML
  • Cyber-physical systems

As our research platform, we develop small-scale autonomous racing cars: DonkeyCar and F1/10th. For our latest code, check out our GitHub.

Location: Malachowsky Hall 4100.

Opportunities: The TEA lab is always looking for volunteers among UF undergraduate and graduate students to help develop autonomous systems and state-of-the-art research. We also welcome PhD applications. If you’d like to be considered, please fill out this form.

Cars in the TEA Lab
Autonomous racing cars built in our lab (1/16th to 1/10th scale)