Write a Blog >>
Suguman Bansal

Registered user since Wed 23 Dec 2015

Name:Suguman Bansal
Country:United States
Affiliation:Rice University, USA
Research interests:Reactive systems, formal methods, artificial intelligence

Contributions

POPL 2020 Synthesis of Coordination Programs from Linear Temporal Specifications
Show activities from other conferences

POPL 2020-profile
View general profile