1. Kansas State University
  2. »Division of Communications and Marketing
  3. »K-State Today
  4. »Prabhakar delivers talk on safety of AI-enabled systems

K-State Today

February 9, 2024

Prabhakar delivers talk on safety of AI-enabled systems

Submitted by Madeline Mathis

Pavithra Prabhakar, Peggy and Gary Edwards chair in engineering and professor of computer science in the Carl R. Ice College of Engineering, recently delivered a talk on "Formal Verification of AI-enabled Cyber-Physical Systems" as part of the Booz Allen Hamilton Distinguished Colloquium Series at the University of Maryland College Park. 

Artificial Intelligence-based components have become an integral part of robotic and cyber-physical systems enabling transformative functionalities. With the ubiquitous use of machine learning components in perception, control and decision making in safety critical application domains such as automotive and aerospace, rigorous analysis of these systems has become imperative toward real-world deployment. Prabhakar is an expert on AI-enabled autonomous and robotic systems design and her talk focused on state-of-the-art techniques based on mathematical foundations developed in her lab for providing strong guarantees on the correct functioning of these systems. 

Prabhakar also visited the robotics facilities at the University of Maryland and interacted with several faculty. She is currently serving the National Science Foundation as a program director where she leads and manages several programs in the areas of artificial intelligence, formal methods, cyber-physical systems and robotics.