Krishnendu Chatterjee Paolo Giusto Thomas A. Henzinger Daniel T. Iercan Christoph M. Kirsch Marco Di Natale Claudio Pinello Alberto L. Sangiovanni-Vincentelli Marco A. A. Sanvido Haibo Zeng Wei Zheng