Andrej Bauer Yirng-An Chen Edmund M. Clarke Masahiro Fujita Steven M. German Orna Grumberg Pei-Hsin Ho Yatin Vasant Hoskote Timothy Kam Manpreet Khaira Patrick C. McGeer Kenneth L. McMillan John W. O'Leary J. Yang Jerry Chih-Yuan Yang