Topic: Learning specifications for cyber-physical systems

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.