AutMn Lab

Thrilled & honored to receive the NSF REU student funding under my ongoing NSF award ( #2525849)!

If you're a CS undergraduate at UA interested in designing safe controllers for robotic systems, with opportunities to work directly on real hardware platforms, feel free to reach out. Students with good mathematical maturity and programming experience are encouraged to apply; prior exposure to hardware platforms is a plus.

Please send your CV and transcript via email (Subject: REU Opportunity).

Details: bineet.cs.ua.edu

Lab Details: autmn.ua.edu

[ NSF REU, Undergraduate Research, University of Alabama, Robotics Research, Safe Autonomous Systems, Computer Science Students, Robotics Hardware, Formal Methods, AutMn Lab ]

A new look for AutMn.
Same mission—building systems you can trust.
Design. Verify. Ensure safety.