Write a Blog >>
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


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

POPL 2020-profile
View general profile