Suguman Bansal

Registered user since Wed 23 Dec 2015

Name:Suguman Bansal
Country:United States
Affiliation:Rice University, USA
Research interests:Reactive systems, formal methods, artificial intelligence

Contributions

POPL 2020 Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
Off the Beaten Track 2016 Author of Chanakya: Computer-Aided Strategic Reasoning within the Off the Beaten Track-track