Contact Us

Organizers

The SyGuS competition (SyGuS-Comp) is organized by Rajeev Alur (University of Pennsylvania), Dana Fisman (Ben-Gurion University), Rishabh Singh (Google Brain) and Abhishek Udupa (Microsoft).
The competition was initiated as part of the NSF ExCAPE grant #1138996.