Suguman Bansal

Registered user since Wed 23 Dec 2015

Name: Suguman Bansal

Country: United States

Affiliation: Rice University, USA

Personal website: http://www.sugumanbansal.com

Research interests: Reactive systems, formal methods, artificial intelligence

Contributions

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