Rupak Majumdar received the B.Tech. degree in Computer Science from the Indian Institute of Technology at Kanpur in 1998 and the Ph.D. degree in Computer Science from the University of California at Berkeley in 2003. Since 2003, he has been an Assistant Professor in the Department of Computer Science at the University of California, Los Angeles. His research interests are in the verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, game theoretic problems in verification, logic, and automata theory. Dr. Majumdar received the President’s Gold Medal from IIT, Kanpur, the Leon O. Chua award from UC Berkeley, and an NSF CAREER award in 2006.