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
  • Cyber-physical systems
  • AI/ML

As our research platform, we develop small-scale autonomous racing cars: DonkeyCar and F1/10th.

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.