Topic: Learning specifications for cyber-physical systems

Portrait of Nicole Fronda
Event Speaker
Nicole Fronda
Event Type
Graduate Engineering Showcase
Event Description

Nicole Fronda is a Ph.D. student in electrical and computer engineering and robotics. Her current research focuses on using neuro-symbolic learning methods to infer logical specifications for cyber- physical systems, particularly systems with AI-driven components (e.g., self-driving cars or autonomous delivery drones). Her aim is to characterize the behavior of such systems and enable reasoning and identification of undesirable and unsafe outcomes.