Born 1975 in Mumbai, India. He received the B.Tech degree from the Indian Institute of Technology, Kanpur (1998) and a PhD in Computer Science from the University of California (2003) under the direction of Thomas Henzinger. Assistant (since 2003) then Associate (since 2008) and Full Professor (since 2010) of Computer Science at the University of California in Los Angeles. Director and Scientific Member of the Max Planck Institute for Software Systems (since 2010).