Recent News
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
Student's fire safety research wins ASEE conference award
March 27, 2025
UNM to host nuclear engineering students from around the country
March 14, 2025
CCEE faculty encourage prospective students to attend UNM
March 14, 2025
News Archives
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
The University of New Mexico Department of Computer Science will hold a colloquium titled, “Formal Methods for Trustworthy AI and Autonomy,” delivered by Pavithra Prabhakar, a professor in the Kansas State University Department of Computer Science and the Peggy and Gary Edwards Chair in Engineering.
The talk is scheduled to take place Wednesday, April 2 at 2 p.m. in Larañaga Auditorium in the Centennial Engineering Center.
Prabhakar will present an overview of her research on approaches to designing and certifying AI-enabled cyber-physical systems. She will discuss why rigorous analysis of the technology is critical to ensuring their safety as they become ubiquitous in industries ranging from aerospace to agriculture. The talk will include consideration of formal verification techniques and Prabhakar’s experimental methods that seek to address the scalability challenges normally faced in deploying verification algorithms in complex systems and large neural networks. Other topics explored in the colloquium include a switched system framework aimed at the design of intelligent and safe aerospace systems, as well as a research agenda in trustworthy AI-enabled cyber-physical systems. Her group’s work is supported by grants from the National Science Foundation (NSF), Amazon, the U.S. Department of Agriculture and the Office of Naval Research (ONR).
Prabhakar is serving the National Science Foundation as a program director in the Computer and Information Science and Engineering Directorate. She is a recipient of a 2016 NSF CAREER Award, a 2017 ONR Young Investigator Award, and a 2024 Computer Research Association Future Leader recognition, among other accolades.
Those with questions about the colloquium are encouraged to email Abdullah Mueen, professor in the UNM Department of Computer Science, at mueen@unm.edu.