Logo: University of Southern California

Events Calendar


  • CS Colloquium: Suguman Bansal (University of Pennsylvania) - Specification-Guided Policy Synthesis

    Tue, Apr 05, 2022 @ 11:00 AM - 12:00 PM

    Computer Science

    Conferences, Lectures, & Seminars


    Speaker: Suguman Bansal , University of Pennsylvania

    Talk Title: Specification-Guided Policy Synthesis

    Series: CS Colloquium

    Abstract: Policy synthesis or algorithms to design policies for computational systems is one of the fundamental problems in computer science. Standing on the shoulders of simplified yet concise task-specification using high-level logical specification languages, this talk will cover synthesis algorithms using two contrasting approaches. First, the classical logic-based approach of reactive synthesis; Second, the modern learning-based approach of reinforcement learning. This talk will cover our scalable and efficient state-of-the-art algorithms for synthesis from high-level specifications using both these approaches, and investigate whether formal guarantees are possible. We will conclude with a forward-looking view of these contributions to trustworthy AI.

    This lecture satisfies requirements for CSCI 591: Research Colloquium

    Biography: Suguman Bansal is an NSF/CRA Computing Innovation Postdoctoral Fellow at the University of Pennsylvania, mentored by Prof. Rajeev Alur. Her primary area of research is Formal Methods and Programming Langauge, and her secondary area of research is Artificial Intelligence.

    https://suguman.github.io/

    Host: Mukund Raghothaman

    Location: Olin Hall of Engineering (OHE) - 132

    Audiences: By invitation only.

    Contact: Assistant to CS chair

    OutlookiCal

Return to Calendar