Divide-and-Conquer Algorithms for Synthesis

Arjun Radhakrishna

Principal Researcher

Abhishek Udupa

Senior Research SDE

Microsoft Research

Pavol Cerny

Professor

TU Wien

Rajeev Alur

Professor

University of Pennsylvania