Thomas Ball Nikolaj Bjørner Sebastian Burckhardt Patrice Godefroid Michael Y. Levin Madanlal Musuvathi Aditya V. Nori Shaz Qadeer Sriram K. Rajamani Wolfram Schulte Kunal Taneja Suresh Thummalapenta Nikolai Tillmann Dries Vanoverberghe Tao Xie