Suguman Bansal

Registered user since Wed 23 Dec 2015

Name: Suguman Bansal

Country: United States

Affiliation: Rice University, USA

Personal website:

Research interests: Reactive systems, formal methods, artificial intelligence


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