Rajeev Alur Dirk Beyer Pavol Cerný Swarat Chaudhuri Thomas A. Henzinger Rupak Majumdar Arjun Radhakrishna Anmol V. Singh Vasu Singh Grégory Théoduloz Thomas Wies