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 (2003-2008) and an Associate Professor (2008-present) in the Department of Computer Science at the University of California, Los Angeles, and a Scientific Director at the Max Planck Institute for Software Systems (2010). 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, an NSF CAREER award, and a Sloan Foundation Fellowship.