Saswat is a PhD candidate in the Computer Science department, at University of California, Los Angeles. His research interests span over program analysis, synthesis, and verification. He is currently focusing on augmenting traditional program analysis techniques with data-driven insights from machine learning.