He completed a Ph.D. in Computer Science from the University of Utah in 2012. Before joining IIT Delhi, he was a Research Scientist at the Systems Verification Lab in the Department of Computer Science at Oxford University (2012-2015).