TEA Lab: Trustworthy Engineered Autonomy

Safe Autonomous Systems @ University of Florida ECE

“The mission of the TEA Lab is to make autonomous systems safer and trustworthier through rigorous computational methods with guarantees.”

System classes:

  • Cyber-physical
  • Robotic
  • Autonomous

Tasks of interest:

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

Areas of research:

  • Formal methods
  • AI/machine learning
  • Cyber-physical systems

As our research platform, we develop small-scale autonomous racing cars:

Physical location: Malachowsky Hall 4100.

Online locations:

Opportunities:

  • Research: The TEA lab is always looking for volunteers among UF undergraduate and graduate students to help with state-of-the-art research (i.e., produce new knowledge and write papers). We also welcome high-quality PhD applications.
    • If you’d like to be considered, please fill out this form.
  • Engineering/building/competition: If you are interested in building racing cars, competing against other teams, and having lots of fun in the process, please sign up for the Gator Autonomous Racing (GAR).
    • Unlike TEA Lab (which focuses on research), GAR is a student-run design team that helps its members learn robotics skills and obtain competition experiences.
Cars in the TEA Lab
Autonomous cars raced in our lab (1/16th to 1/10th scale of typical cars)

Latest News from the Lab