Write a Blog >>
Suguman Bansal

Registered user since Wed 23 Dec 2015

Name: Suguman Bansal

Country: India

Affiliation: Rice University, USA

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

Research interests: Formal Methods, Game Theory


POPL 2020Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
Show activities from other conferences

Using general profile