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
Contributions
| POPL 2020 | Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile