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
- New CAV Paper! 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.
- Paper on 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
- Invited Speaker at the prestigious IARCS Verification Seminar Series. [Talk Details] [60-mins Talk Video]