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]
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 and Recent Talks.
July 20: CAV 2021 [Paper] |
September 15: Highlights of Logics, Games, and Automata (Talk Video) |
September 20: Continuity, Computability, Constructivity: From Logic to Algorithms |
October 5: IARCS Verification Seminar |
December 6-14: NeurIPS 2021 [Paper]
Awards and Honors
News
- 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]
- Compositional Reinforcement Learning from Logical Specifications has been accepted to NeurIPS 2021. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- Presenting Invited Talk on "Towards designing intelligent machines via reactive synthesis" at Continuity, Computability, Constructivity: From Logic to Algorithms 2021