CV

Education

• Ph.D in Computer Science and Engineering, IIT Bombay, (2024 - ) (ongoing)
• M.Sc in Cognitive Science, IIT Delhi, (2020-22)
• B.Tech in Electronics and Telecommunications, Govt. College of Engineering Amravati, (2012-16)

Work experience

• July 2022 - July 2024: ICICI Bank
  • part of the Data Science and Analytics Team (DSAG)
  • worked on anti-fraud and compliance analytics
• January 2017 - January 2018: Cognizant Technology Solutions
  • part of testing team working on an online loan portal for a US bank.

Publications

Quantifying Sensitivity for Tree Ensembles : A symbolic and compositional approach

Naik, A., Garg, C., Akshay, S., Gupta, A., Meel, K.S. (2026). "Quantifying Sensitivity for Tree Ensembles : A symbolic and compositional approach." CAV, 2026 (To appear).