Suguman Bansal
I am a CRA/NSF Computing Innovation Postdoctoral Fellow with Prof. Rajeev Alur at the Department of Computer and Information Sciences at University of Pennsylvania. I completed my Ph.D under Prof. Moshe Y. Vardi at Rice University.
I am on the Academic Faculty Job Market.
Application Materials: [Research Statement] [Teaching Statement] [Diversity Statement] [Resume]
My research vision is to make AI trustworthy by close integration of formal methods and programming languages with artificial intelligence and machine learning.
Towards trustworthy computing, my research has focused on simplifying the design-development-deployment pipeline of safe and reliable AI systems.
I have worked on automated controller synthesis, i.e., the automated generation of control systems from a given high-level specification with theoretical guarantees of correctness.
My current research thrusts include:
Upcoming Colloquiums. CISPA | CMU (ECE) | CMU (SCS) | ETH Zurich | Georgia Tech | IST Austria | MPI-SWS | NUS | NYU | Penn State | Rutgers | Toronto | TU Graz | Tufts | UIC | U Mass Amherst | USC | Waterloo | Wash U @ St. Louis | Yale
Awards and Honors
News
- WOLVERINE at FLoC 2022. Do attend if you want to learn about the cutting edge reserach at the intersection of Formal Methods and Reinforcement Learning. I am the Round-Table Host on "Safe Reinforcement Learning" at
- Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to CAV 2022. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur. New CAV Paper!
- Compositional Reinforcement Learning from Logical Specifications appears at NeurIPS 2021 today. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur. Paper on
- On Synthesis from Satisficing and Temporal Goals has been accepted to appear at AAAI 2022. This is joint work with Lydia Kavraki, Moshe Y. Vardi, and Andrew Wells. [10-mins Talk Video] Paper on
- Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to appear at SafeRL 2021 at NeurIPS 2021 Paper on