Student Christopher Barbosa to join summer REU program in Iowa in temporal logic

Congratulations to undergraduate student Christopher Barbosa, who will be participating in an REU at Iowa State University this summer, using temporal logic to improve autonomous driving. The project uses the RoboRacer autonomous driving research infrastructure and will explorie how to incorporate temporal logic to detect when a vehicle is violating rules, and/or to preempt a vehicle from taking actions that may violate rules. This project will draw upon Christopher's interest in non-classical logics and experience in constructive foundations and intuitionism to apply the tools to a modern application. The project is supervised by Prof. Kristin Rozier of the Departments of Aerospace Engineering and Computer Science.

His REU funding has a $5000 stipend, and also covers travel to and from Iowa, room and board in Iowa, and travel to Mathfest in Boston in August. Christopher will be working with a distinguished mentor and a select group of students from around the country with similar interests.

• Topics
• Undergraduate Students