It's AutMn at UA!

About Us

AutMn: Trustworthy Autonomy is a research lab at The University of Alabama ("It's AutMn at UA!"). Led by Dr. Bineet Ghosh, Assistant Professor in the Department of Computer Science, this lab focuses on designing and verifying autonomous systems. Our main objective is to ensure safety and correctness of autonomous systems in presence of uncertainties, with complex system dynamics, with heterogeneous and distributed computing resources. We strive to incorporate intelligence, bridge the gap between models and their implementations, and tackle other related complexities. To learn more about our research, please visit our research page (or Dr. Ghosh's research page).
 /bineet/