Krishnendu Chatterjee received the B.Tech. degree in Computer Science from the Indian Institute of Technology at Kharagpur in 2001 and the MS and Ph.D. degree in Computer Science from the University of California at Berkeley in 2004 and 2007, respectively. Since 2009, he has been an Assistant Professor in IST Austria (Institute of Science and Technology Austria). His research interests are in the verification and control of reactive and probabilistic systems, game theoretic problems in verification, logic, and automata theory. Dr. Chatterjee received the President’s Gold Medal from IIT, Kharagpur, the David Sakrison memorial award from UC Berkeley, and the Ackermann award from European Association in Computer Science Logic.